[Tuna-Fish]

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