Hi Magnus, and thanks for the heads-up[ . . . ]Just because the raspi-firmware package is included on the d-iinstallation media, it shouldn't necessarily be installed on an amd64host. Or is this coming from live images?