As the DSI video output needs a custom driver it’s unlikely any sort of boot screen could be done without considerable porting work. Multiple people have asked about that here. Even if you did get it working:
I hadn’t seen Void and PostmarketOS at the time; they differ more than Debian and Arch, being runit+musl and OpenRC+musl distributions instead of SystemD+glibc or SystemD+glibc (all respectively), but still do much of the same.