Galaxy S III kernel with kexec functionality.