So, over two years have passed, we had a global pandemic, people did stuff. What is the status of the Raspberry Pi version now? Have the USB woes been solved? I tried booting the latest raspi-armhf-system nightly on my Raspberry Pi 3, but it just hangs at a black screen after the rainbow screen, so I guess things still haven't moved.