x86: make NUMA work on 32-bit again