[coreboot] ThinkPad T420 and FireWire chip on Linux