But they support Android right? Won't that mean kernel support is public already? It would have to be merged into mainline. Or is this about something else?