I am using Atheros AR5B195 with the AR9285 chip [HP part number 593127-001].
I actually did boot into Windows 7 the first time, and I got the same BIOS error, and it wouldn't even detect the Wifi Card. I tried BIOS versions F.0, F.20 and F.23. I havent tried F.27 yet - not sure if that will...