Kai, could the author please share your port of the 64 bits driver? I happen to own a F135. Thanks in advance.
Great article, it brings back some memories.
The custom drivers will be released soon :-) If you're not in the Pakon Facebook group, I recommend requesting to join it, since there's a lot of useful information there.