Diff gnu-efi-4.0.3 with a gnu-efi-4.0.4

Thank you!