Alternatively, since PTA0 .. PTA3 are all the JTAG pins, couldn't the Mini54 be made into a JTAG frontend?
Based entirely on how it's connected: Couldn't that be how the Mini54's programming the K20 anyway? *that* would be an awesome process to get a look inside.
I somewhat wonder if that's...