lbmk/config/coreboot/t430_12mb/target.cfg