Yes that could be nice. I think you should create a pull request to the mk arcade gpio joystick repository, and i would let users decide what version of the driver they want to use in the recalbox.conf file.
Hello 🙂 Some driver are missing in recalbox, as it is a custom linux distribution. Sorry you had to change your system 🙂 Have fun on retropie 😉