x86: fix warning on 32-bit non-PAE