coreboot-kgpe-d16/payloads/external/GRUB2/Kconfig.name