lbmk/config/coreboot/x230_12mb/target.cfg