If you are comfortable with CLI on the Terminal here are instructions for installing a 64 bit OS on the RPi 4b in case you might be interested.
Pudge