Is there any reason we can not set hw.pci.do_power_nodriver=3 by default? My understanding is that there were problems with hardware being powered off and not being powered back on when drivers were loaded. Is this still a concern? If yes, can we flip the switch in HEAD and fix the drivers? -- Eitan Adler