[PATCH] x86_64: Add 4GB DMA32 zone