Very interesting! I just went back to check, and for some reason the latest Intel Driver Update Utility doesn’t see my Intel Advanced-N 6200 AGN device. Your links look good, though, and I will try the 64-bit version out on my dv6t notebook PC. Thanks for the heads-up.
I do think it’s even more interesting that the guys at HP tech support are pretty clueless about all of this stuff. I had to tell them about the Intel utility, for cryin’ out loud!