They are not. See NSO. Maybe they consider this an advantage (known platform) compared with Android where every vendor has its own kernel.