[fedora-arm] Question: u-boot 2020.04 on RPi4