thewisenerd/android_kernel_htc_pico — pull request #2 by galaxyfreak (2014-05-31 18:32:20+00:00)
Title: Implement kexec-hardboot

First attempt, untested

I was feeling lucky on few places