Are you sure it's a R4600, not R4640 or R4650?
It's like a decade that I last read up on these but afair they have a
fixed mapping starting at 0x40000000. It would make perfect sense to
use such a CPU in an X terminal.
Hmm, I'm not sure. I'd have to peel off the heatsink to be sure I guess. The
very first kernel messages print this:
CPU revision is: 00002020 (R4600)
FPU revision is: 00002020
So I guess these values would be more specific if the CPU was indeed one of
those revisions.
Cheers,
Adam.