This guide worked for me I had no problems whatsoever. Hopefully those that are experiencing difficulties can get them resolved soon as well.

I did have a quick question though: when a new kernel is released, will those who used this guide have to re-install the driver? ...and do we use the same method?

I'm a new user and just trying to think ahead