Current debian kernels don't work on McKinley?

[Peter Chubb <peter.chubb@nicta.com.au>]

Hi folks,
   The currently packaged kernels in Wheezy and Sid will not boot on
   most of our machines (rx2600 and zx6000, one and two procesor
   McKinley)

   The kernels seem to boot on the one montecito machine we have that
   I can reboot.  I don't know whether the difference is zx1 vs zx2
   chipset or the  processor.

   It's been a while since I used a Debian-packaged kernel --- is
   there a trick to getting them to work, other than apt-get install?

   Peter C
--
Dr Peter Chubb				        peter.chubb AT nicta.com.au
http://www.ssrg.nicta.com.au          Software Systems Research Group/NICTA