[coreboot-gerrit] New patch to review for coreboot: src/Kconfig: Move options with no prompt towards the end of the file