Re: [coreboot] IBM ThinkPad T42 support