Fix allocation of memory for kexec