[coreboot-gerrit] Patch set updated for coreboot: 5b543f9 Kconfig: Hide BOARD_ID_MANUAL.