Secure boot with Raspberry Pi CM4 and Nerves

Ah, their secure-boot-msd is not the way to flash it, probably.