0.1

• Apply the correct prototype to the entry point function
• Fix segments so all segments are RWX and have the correct semantics
  • This allows for global function pointers to be rendered correctly
• Apply types for core UEFI services (from EDK-II)
• Locate known protocol GUIDs and assign the GUID type and a symbol
• Locate global assignments in entry and initialization functions and assign types
  • EFI_SYSTEM_TABLE, EFI_RUNTIME_SERVICES, EFI_BOOT_SERVICES, etc...