Non-PAE kernel in 12.10

[Tom H]

On Tue, Nov 20, 2012 at 7:30 AM, Liam Proven <lproven at gmail.com> wrote:
>
> I'd like to upgrade Lubuntu 12.04 on my old Thinkpad X31.
>
> It's a 1.6GHz Pentium M with 1GB of RAM, so not too slow.
>
> But the Pentium-M doesn't support PAE so the generic kernel in 12.10
> will not boot.
>
> Is there a non-PAE kernel available?
>
> If not, I am perfectly able to compile my own - but how to
> install/upgrade the rest of the OS?

How about apt-pinning linux-image and linux-generic with a priority of
"-1", compiling a kernel, and upgrading?