lbmk/resources/coreboot/x200_8mb/board.cfg