Diff gnu-efi-3.0.11 with a gnu-efi-3.0.12

Thank you!