lbmk/config/coreboot/t420_8mb/target.cfg