[coreboot-gerrit] Patch merged into coreboot/master: src/Kconfig: Move options with no prompt towards the end of the file