coreboot-x86_defconfig 842 Bytes