/config/coreboot/hp8300usdt_16mb/config/