As for which has the higher proportion of GNU/Linux instances in the wild (x86 vs x86_64), I really don't know and haven't seen any statistics on the subject (I haven't looked, either). I'd guess x86, but not for the reasons you stated:
A) The drivers in the kernel source tree are open source...