Verizon Wireless Galaxy S 4 kernel with kexec functionality.