I checked with Ameridroid, my usual supplier for SBCs, and amazon and haven’t found any available yet. My Raspberry Pi 4b 4GB SBC with the 64 bit OS and 5.9.x kernel with EndeavourOS XFCE or Budgie runs very well. The only problem being a pulse audio problem which I have solved using VLC.
It will be interesting to see how the faster CPU clock and much faster RAM will perform, and Maaaybe fix the audio problem.
Pudge