f1540fc fix build of xen*.efi file and package it in /usr/lib*/efi

Authored and Committed by myoung 2 years ago
    fix build of xen*.efi file and package it in /usr/lib*/efi
    
        
file added
+12
file modified
+22 -5