Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
https://github.com/raspberrypi/firmware
start*.elf, fixup*.dat and bootcode.bin
ЕМНИП в 4 bootcode.bin переехало в EEPROM, остальное читается с sd-карты при загрузке.
независимо от того, какую карточку с каким другим дистрибутивом я воткну потом?
все эти файлы просто лежат на fat-разделе в начале карты, вы можете поменять их на свои независимо от дистрибутива, всё будет работать.
вот замена ядра потребует ещё и "подкладывания" модулей в основной раздел.
Следующая прошивка, разработанная для использования одновременно с управлением питанием VLI, изменяет работу памяти Raspberry Pi 4 — LPDDR4 SDRAM. Не влияя на производительность, она помогает ещё уменьшить энергопотребление как в режиме ожидания, так и под нагрузкой.
честно говоря, совмневаюсь, что влияния на производительность совсем нет.
и новые версии firmware есть и для rpi 3b+, честнее было бы сравнивать и с ними тоже.

Тестирование Raspberry Pi 4 на нагрев