Another confirmation: 8GB RPI4a booting from usb3 connected SATA SSD works fine with u-boot-rpiarm64-2023.01-251.1.aarch64 :-)