lbmk/resources/coreboot/t400_4mb/board.cfg