great news!
I am well overdue cleaning up my debian install, so it'd be easier to start with a clean install. And I am sure you're making a kernel which is compatible with android, so that will solve my other "problem".
Will I be able to kexec a kernel so I can dual-boot Cacko?
--edit: I read the blog properly and indeed, your kernel is android compatible.