Oh I just saw that BadDiode did the port. I can get in contact with him directly via fedi, we follow each other. I'd be happy to help with testing on real hardware. Would you like me to do that?