coreboot_defconfig 1001 Bytes