/config/coreboot/t420s_8mb/