How many times did you try? The iproc driver is no loaded early on first boot so the wifi works but on subsequent boots it fails. At least that is how it used to be.