Galaxy S series kernel with kexec functionality.