> Any particular reason why you must use pae rather than
> the standard 32 bit kernel?
Hmm... isn't "the standard 32 bit kernel" `linux-image-686-pae` ?
At least the `linux-image-686` package seems to describe itself as for use
only on those machines where `linux-image-686-pae` doesn't work.
Stefan