Any idea if it's going to come to phones by any chance? I initially thought they meant phones, but after a while they seemed to say they meant laptops.
Also, regarding x64, I believe it was due to patent issues, not because they somehow thought x86 is enough for anybody.