Opera Mini is indeed the default browser on several phones. It's one of the few discernable ways that Opera makes any money. Granted, nothing as popular as the Fire is likely to be.