ANDROID: Allow spinlock, trap_handler and iommu for DDK pKVM modules

Those files are necessary for implementing a pKVM IOMMU driver.

Bug: 416603216
Bug: 357781595
Change-Id: I81f3c4af0fde1442db3dfaae3f16a291cf26b2bf
Signed-off-by: Vincent Donnefort <vdonnefort@google.com>

BUILD.bazel

@@ -1615,11 +1615,15 @@ ddk_headers(
     hdrs = [
         "arch/arm64/kvm/hyp/include/module/nvhe/define_events.h",
         "arch/arm64/kvm/hyp/include/module/nvhe/trace.h",
+        "arch/arm64/kvm/hyp/include/nvhe/iommu.h",
+        "arch/arm64/kvm/hyp/include/nvhe/spinlock.h",
+        "arch/arm64/kvm/hyp/include/nvhe/trap_handler.h",
     ],
     includes = [
         # LINT.IfChange(pkvm_includes)
         "arch/arm64/kvm/hyp/include/module",
         # LINT.ThenChange(/arch/arm64/kvm/hyp/nvhe/Makefile.module:includes)
+        "arch/arm64/kvm/hyp/include",
     ],
     visibility = ["//visibility:private"],
 )