Bug#1086705: armhf broken, needs upstream patch

[Bastian Germann]

Control: fixed -1 gnu-efi/4.0.0-1

Please note that I have just uploaded the version including the fix to
unstable. I am going to propose a stable update to address this in trixie.