I understand where you are coming from, I think the major hurdle was getting it boot and fixing M3 specific things. Now that it is working, they can port over their driver very easily (they might just work or need a small tweak)

Thank you for the clarification!