powerpc/32s: Fix module loading failure when VMALLOC_END is over 0xf0000000