Here's the boot output of a WICAT (prior to the OS actually loading...which I haven't done yet, since I spent all day imaging the hard drives. 9GB of image files!)
Booting...
Valid ports are: 0 1 2 3
System clock rate is 16.7 Mhz
Memory test...
Good RAM detected: 8192K
System clock is good.
Calendar clock is running.