CI: change the directory for Arm64 firmware

Previouly it is reusing the ovmf, which will enter some
issue for path checking, so move to aavmf as it should
be.

Signed-off-by: Kevin Zhao <kevin.zhao@linaro.org>

src/runtime/Makefile

@@ -465,6 +465,13 @@ ifneq (,$(QEMUCMD))
     ifneq (,$(QEMUFWVOL))
         FIRMWAREVOLUMEPATH := $(PREFIXDEPS)/share/ovmf/$(QEMUFWVOL)
     endif
+
+    ifneq (,$(QEMUFW_ARM64))
+        FIRMWAREPATH := $(PREFIXDEPS)/share/aavmf/$(QEMUFW_ARM64)
+    endif
+    ifneq (,$(QEMUFWVOL_ARM64))
+        FIRMWAREVOLUMEPATH := $(PREFIXDEPS)/share/aavmf/$(QEMUFWVOL_ARM64)
+    endif
 endif
 
 ifneq (,$(CLHCMD))

src/runtime/arch/arm64-options.mk

@@ -11,8 +11,8 @@ MACHINEACCELERATORS :=
 CPUFEATURES := pmu=off
 
 QEMUCMD := qemu-system-aarch64
-QEMUFW := AAVMF_CODE.fd
-QEMUFWVOL := AAVMF_VARS.fd
+QEMUFW_ARM64 := AAVMF_CODE.fd
+QEMUFWVOL_ARM64 := AAVMF_VARS.fd
 
 # Firecracker binary name
 FCCMD := firecracker

tools/packaging/static-build/ovmf/build-ovmf.sh

@@ -84,7 +84,11 @@ fi
 popd
 
 info "Install fd to destdir"
+if [ "${ovmf_build}" == "arm64" ]; then
+	install_dir="${DESTDIR}/${PREFIX}/share/aavmf"
+else
 	install_dir="${DESTDIR}/${PREFIX}/share/ovmf"
+fi
 
 mkdir -p "${install_dir}"
 if [ "${ovmf_build}" == "sev" ]; then