The Godot core developers have a company you can partner with for a Godot build for those platforms. It's not really a big deal if you're making the kind of money to make that port worth it.