sel4test: fix wrapper building for aarch64

Change-Id: Ic8ce6cf0ee5c58a01570724053e13f323389fbf7

integrations/sel4-sys-wrapper/build.rs

diff --git a/integrations/sel4-sys-wrapper/build.rs b/integrations/sel4-sys-wrapper/build.rs
index 79ab233..5f43790 100644
--- a/integrations/sel4-sys-wrapper/build.rs
+++ b/integrations/sel4-sys-wrapper/build.rs
@@ -65,6 +65,7 @@
                 panic!("Unsupported arm word size {}", cargo_target_pointer_width);
             }
         },
+        "aarch64" => ("aarch64", "arm"),
         "riscv32" => ("riscv32", "riscv"),
         "riscv64" => ("riscv64", "riscv"),
         _ => {