braindump(ag) == 64bit kernel on Raspberry Pi 4 (quirks)
Raspberry Pi 4 Beta Firmware Brings True USB Boot for High-Speed Storage, No microSD Required - Hackster.io
Raspberry Pi 4: All versions of the popular single-board computer are easy to overclock to 1.8 GHz with Raspberry Pi OS Bullseye - NotebookCheck.net News