lbmk/config/coreboot/t420s_8mb/target.cfg