Given how uncommon x86 phones are (a few asus, lenovo, etc. that did not sell well) I think it's clear the vast majority of waydroid_x86_64 are not phones, right?

To get to 2/3 of US installs, you have to sum all this stuff up including waydroid_arm64.