lbmk/resources/coreboot/x200_4mb/board.cfg