It seems to be a problem with the USB controller driver in circle. Startup hangs with the message "XHCI: HW reset failed".
I was under the impression that the hardware of the 8GB Raspberry Pi 4 was identical to the versions with less memory except for (obviously) the memory chip and some fixes for USB-C power delivery. Maybe it's a subtle timing problem - another item on my to-do list...