lbmk/config/coreboot/t530_12mb/target.cfg