lbmk/resources/coreboot/x200_16mb/board.cfg