lbmk/config/coreboot/e6430_12mb/target.cfg