lbmk/resources/coreboot/t400_16mb/board.cfg