Comment 11 for bug 151942

> It's not a bug in the server kernel that the hw doesn't support PAE. One could say it is a bug in the installer, because it boots -386 kernel, and installs -server kernel, which cannot always be expected to work.

So shouldn’t this be reassigned to debian-installer instead of being marked invalid? VirtualBox will get PAE in one of their subsequent releases (note: Gutsy’s virtualbox-ose is also affected, so maybe this should be opened against it as well), but other PAE-less systems still won’t be able to boot the server kernel.