/config/u-boot/amd64coreboot/