Recently I found some time to move my TFEL driver onto a spare Pi3B to test its performance. First, it still compiles fine on Archlinux ARM 4.14.87 and the GPIO layout is compatible.