powerpc: pseries: Fix kexec on machines with more than 4TB of RAM