[efi] Update to current EDK2 headers

Signed-off-by: Michael Brown <mcb30@ipxe.org>
5 files changed
tree: 97a2f7fad586e499339c95db8a681266b06ab008
  1. contrib/
  2. src/
  3. COPYING
  4. COPYRIGHTS
  5. README