Adding it yourself ... This all depends on your knowledge in IT. This won't be as easy s following a tutorial for raspbian, it's much more complicated. As I said, this driver might be included in a recent change on the 4.1 branch, i have to check. Haven't had the time yet