Comment 85 for bug 930447

@Luiz:
The headers are in the linux-headers-generic-pae package and should be replaced with linux-headers-generic package. Not sure why they are needed at all though, but I assume there is a good reason or they wouldn't have been there.

I didn't do the uncompress/recompress of initrd. I wonder if that's why your image is smaller than mine.

Somebody claimed that non-pae was faster or more power saving than pae on computers that can run both (and have less than 4 GB of RAM). From what I've seen, it's the contrary: using pae when available is insignificantly faster or no difference for most workloads, but I don't think there have been enough testing across different hardware (e g non-intel processors) to give a serious verdict either way.

And a final note. I said that whether to completely drop the non-pae kernel for 12.10 was to be decided at UDS next week. It looks like it's already a done deal to do so, judging from this email:
https://lists.ubuntu.com/archives/ubuntu-devel/2012-May/035176.html