6f3e186 Add patch to fix 32bit EFI service mapping (rhbz 726701)

Authored and Committed by jwboyer 12 years ago
    Add patch to fix 32bit EFI service mapping (rhbz 726701)
    
        
file modified
+7 -1