Comment by Tuna-Fish

Yes. There were kernel mode drivers before that ruling, it is essentially entirely irrelevant to this outage.