ddd4dc Fix build with gnu-efi-3.0.11-13

Authored and Committed by Zbigniew Jędrzejewski-Szmek 2 years ago
    Fix build with gnu-efi-3.0.11-13
    
        
file added
+67
file modified
+4 -1