А config.txt делается в пакете rpi4-boot-switch?

(Ответ для Антон Мидюков на комментарий #1)
> А config.txt делается в пакете rpi4-boot-switch?

Файл хранится в этом пакете:
https://git.altlinux.org/gears/r/rpi4-boot-switch.git?p=rpi4-boot-switch.git;a=blob;f=config.txt;

Насколько помню, при переключении на загрузку с использованием u-boot этот файл просто копируется в /boot/efi, а при переключении на загрузку с использованием RPi firmware - он нужным образом редактируется.

Возможно, есть и другие источники этого файла - нужно исследовать вопрос.

rpi4-boot-switch-0.14-alt1 -> sisyphus:

 Tue Apr 09 2024 Dmitry Terekhin <jqt4@altlinux> 0.14-alt1
 - config.txt: add hdmi_ignore_edid_audio=1
 - config.txt: add disabled option 'max_framebuffers=2' (Closes: 42920)
 - rpi4-boot-nouboot: uncomment vc4-fkms-v3d with any prefix