Re: [coreboot] coreboot ThinkPad users