x86_32: compiles with PAE enabled.