[Request] Support for Hells Doctor Kernel

[rpcob]

Hello,
I know you're busy, but when you get a chance could you look into supporting Hells Doctor kernel for Nexus 4. It's based off hells-core, but I was unable to load any hells-core successfully. Thank you.

Link to kernel: http://forum.xda-developers.com/showthr ... ?t=2548872