Galaxy S III kernel with kexec functionality. - View it on GitHub