The kexec syscall function is broken on ARM due to it not properly calling the relocation stub with the correct arguments. This patch puts machine_kexec in line with the other architectures, and allows kexec to work peroply on ARM. It has been tested on the versatile kernel successfully.