[coreboot-gerrit] Patch set updated for coreboot: src/Kconfig: Move options with no prompt towards the end of the file