Yes, dpkg -i on both the above .debs should just
install them.
Thanks Andy. I've switched to the Debian kernel you suggested. I'll let you know
if this comes up again.
Regards
Alex
This email carries a disclaimer, a copy of which may be read at
http://learning.longhill.org.uk/disclaimer