Small bugfixes and ISO regeneration
This release adds a fix to detect an older version of efitools which can causes problem when inserting the PK
(Platform Key). Some details can be found at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=920014 and https://forums.lenovo.com/t5/ThinkPad-11e-Windows-13-E-and/Cannot-install-custom-secure-boot-PK-platform-key/td-p/4318378.
The image provided with v1.0 is affected by this bug, so people should rather use v1.1 versions.