Diff gnu-efi-3.0.19 with a gnu-efi-4.0.3

Thank you!