I take it back - kernel booted after running dpkg-reconfigure linux-image-2.6.31-9-rt. So that was probably an upgrade issue.
I take it back - kernel booted after running dpkg-reconfigure linux-image- 2.6.31- 9-rt. So that was probably an upgrade issue.