lbmk/resources/coreboot/kgpe-d16-udimm_16mb/board.cfg