Please write it up - I've been investigating booting stock kernels on Android devices on and off for a few years now.

https://lwn.net/Articles/680109/ is the most promising.