Comment by someCTO

Running a PAE kernel on 32 bit is pretty standard at this point, I believe. Please correct me if I missed something.