[PATCH] x86_64: Don't try to put kernel page tables beyond ZONE_DMA32.