[coreboot] sb/intel/bd82x6x/ remapping oddities (was Re: ThinkPad T420 and FireWire chip on Linux)