[efi] Allow use of EFI configuration tables
treeefc4200715d98d0b2bbfd167c1293ba7eb95669e
-rw-r--r-- 17982 COPYING
-rw-r--r-- 908 COPYRIGHTS
-rw-r--r-- 342 LOG
-rw-r--r-- 1650 README
-rw-r--r-- 18 VERSION
drwxr-xr-x - contrib
drwxr-xr-x - src