For whatever reason, ports 2 and 3 are in a different order between
64-bit and non-64-bit register controls. I could change the 64-bit one,
but I think it makes more sense for port 2 to correspond to source 2 in
DumpSrc().