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