coreboot-kgpe-d16/configs/config.lenovo_t400_vboot_and_debug