[PATCH v4 18/25] efi_loader: Use correct type in efi_add_runtime_mmio()