Если речь идет про малинку, а судя по BCM2711 это "Raspberry Pi 4 Model B".
То просто нужно внимательно скачивать дистрибутив.
Напрямую производитель для этой модели дает только х86 версию (32-bit).
Можно попытаться взять х64 на:
https://www.raspberrypi.com/software/operating-systems/Но не факт, что будет работать.
Не трудно проверить сделав загрузку с флешки, а не с SD карточки.
(Она будет тупить, но работать будет)
А так, формально, х64 ОС пошла для Raspberry Pi 5.
Правда производитель пишет значек на страничке:
https://www.raspberrypi.com/software/op ... -os-64-bit4B - т.е. вроде как должно поддерживаться и на Вашей железке.
Когда скачиваем, пишем диструбутив штатным имеджером есть небольшая запутка.
Там по дефолту будет именно х86 версия.
Подзабыл, кажется через "Others" можно сделать (выбрать файл iso) х64.
Проверять в установленной системе по uname -a должно рисовать aarch64 (x64), а не armhf (x86)