Just because the drivers are certified does not mean they can't cause lockups. How many bad drivers have been made that were WHQL but still had some serious issues?