uboot/configs/coreboot-x86_defconfig