[coreboot] Re: ThinkPad T420 and FireWire chip on Linux