In order to allow the registration of dynamic HVCs by pKVM modules, let's expose the __pkvm_register_el2_call() function in the GKI ABI. Bug: 244543039 Bug: 244373730 Change-Id: Iae1d0f94776f8c097410a6cf6527c825fee30184 Signed-off-by: Vincent Donnefort <vdonnefort@google.com>