Does Adafruit BusIO work with Portenta H7 boards?

@TomGeorge The thing is that these drivers to not work with all architectures! This is the reason I'm explicitly asking :wink: