kernel driver setup bugfix