Yep, right on. Soon to be replaced wifi card though (Boradcom Bcm94312mcg on the way)
Yup, as above, wifi card to be replaced. In the meantime though, enabling the wifi in the bios and disabling with switch does not seem to work - boot always fails with system uptime message.
I can boot with it enabled and it's not a huge inconvenience having to enable in bios when booting into W8, I just wondered if this was as it was meant to be with this config and I am guessing it is.