I am having trouble with this driver not loading. The Leap 42.3 kernel was rebuilt this week (22 June, I think). Does the packman repository need rebuilding based on this kernel ?