Did something I should have done ages past, prompted by @wicket actually
Branched https://github.com/juiceme/kernel-ad...t_v037_patched so that there'd be no trouble to find what is the correct repository to build ubiboot kernel