[PATCH] Fix Kconfig of DMA32 for ia64