[PATCH v4 21/25] efi_loader: Update to use addresses internally