b1f2f2d538
so that the list of drivers is correct. This is a slightly simplified version of the patch from the PR. PR: misc/10544 Submitted by: Christophe Colle <colle@krtkg1.rug.ac.be>