Galaxy S Relay 4G kernel with kexec functionality.