Current estimates on availability of a mainline kernel do not align with Kodi Leia schedules so Leia will need to use amcodec and the existing 3.10 and 3.14 kernels. That breathes a stay of execution on MX chipsets but it makes the decision to expend effort on generic kernels harder. There are benefits to unifying some of the community efforts further; IMHO too many community builders are "developing in the release branch" with a high rate of release iteration so providing a project for things to focus on will stabilise things. However, all work on the 3.10 and 3.14 kernels is ultimately "lipstick on a pig" as the second we have a viable mainline kernel we will drop support for anything that cannot run it. Right now S805 era boards will probably survive (no guarantee, but they have a lot of IP in common with S905 and newer) while MX based devices will bite the dust.
So it's possible, but much is in the hands of community builders agreeing to align their efforts. So far no PR's have been received on GitHub.