/config/coreboot/t420_8mb/