We could move where we split xfmem and xfregs... but I think it's more clear here, given the constraints of the FIFO file format.

And yes, that number is completely wrong; I'll fix that.