RPi4 boot, stuck in 32-bit kernel on raspbian how to get 64 bit?

I’m trying to get my RPi4 SSD boot (boot on sd, switch to ssd, as described by Andreas Spiess) to work in 64-bit, so I can get the vs codeeditor activated.
But the raspbian is 32-bit only as far as I can see.
How do I get it to 64-bit, so I can get a HA 64 bit running as well?

Might be wrong but AFAIK there is no Raspbian 64 bit for the RPI4 processor yet.

There is but it is still in the testing stage.
Pi4 64-bit raspbian kernel for testing - Focus on Pi4

This is what I did yesterday.

I stand corrected. Thanks!