Yeah. I mean, I still hold out hope that enough of the driver support will get mainlined or just rolled into some distro I want to use that I can use it for _something_ but right now it just sits unplugged on my desk. :(
Last I checked BredOS was close to having a reasonable experience with it but I haven't had the time to poke at it again. Personally I'd prefer an Arch derivative like BredOS or FreeBSD. I don't really want to buy a GPU to put in it but it seems like that's my only option at the moment?
I don't have any Radxa model, but I have a bunch of SBCs from different makers and I have never seen a problem with boot working half of the time only.