Diff gnu-efi-3.0.15 with a gnu-efi-3.0.17

Thank you!