[build] Fix ARM32 EFI builds with current EDK2 headers
-rw-r--r-- 1347 .travis.yml
-rw-r--r-- 558 COPYING
-rw-r--r-- 18092 COPYING.GPLv2
-rw-r--r-- 2931 COPYING.UBDL
-rw-r--r-- 113 README
drwxr-xr-x - contrib
drwxr-xr-x - src