#909718 debian-live: bootia32.efi + UEFI32 + SecureBoot => certificate error