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