Comment 8 for bug 897786

Ok, I'm sorry in advance if this is not the correct place to post this question. But, I tried downloading the latest 12.04 daily build and tried to boot after flashing it to a live usb. I was not able to boot on my Thinkpad T42 and received an error that my CPU did not support the PAE kernel. My understanding is that the default for the i386 image will be PAE, but that non-PAE will be supported until 12.10. How would I go about installing the non-PAE kernel?