[coreboot-gerrit] [M] Change in coreboot[master]: RFC: Kconfig - show boards supported on 4.11 branch (POC)