ARMv8 should be executed with virtualization extensions (in HYP mode)

common.xml

@@ -221,14 +221,14 @@
  <target name="run-system-armv8">
   <exec executable="qemu-system-aarch64">
    <env key="QEMU_AUDIO_DRV" value="none"/>
-   <arg line=" -kernel ${builddir}/boot/vmlinuz -cpu cortex-a53 ${ENABLE_KVM_AARCH64} -m 1024 -M virt -no-reboot -append &quot;console=${CONSOLE} root=/dev/${DISK}2 rootwait panic=1 rootfstype=ext4 rootflags=discard rw systemd.unit=rescue.target net.ifnames=0&quot; -device sdhci-pci -drive format=raw,file=${builddir}/disk.img,if=none,id=disk,cache=writeback,discard=unmap -device sd-card,drive=disk -device virtio-rng-pci -nographic"/>
+   <arg line=" -kernel ${builddir}/boot/vmlinuz -cpu cortex-a53 ${ENABLE_KVM_AARCH64} -m 1024 -M virt,virtualization=true -no-reboot -append &quot;console=${CONSOLE} root=/dev/${DISK}2 rootwait panic=1 rootfstype=ext4 rootflags=discard rw systemd.unit=rescue.target net.ifnames=0&quot; -device sdhci-pci -drive format=raw,file=${builddir}/disk.img,if=none,id=disk,cache=writeback,discard=unmap -device sd-card,drive=disk -device virtio-rng-pci -nographic"/>
   </exec>
  </target>
 
  <target name="run-system-with-secondary-armv8">
   <exec executable="qemu-system-aarch64">
    <env key="QEMU_AUDIO_DRV" value="none"/>
-   <arg line=" -kernel ${builddir}/boot/vmlinuz -cpu cortex-a53 ${ENABLE_KVM_AARCH64} -m 1024 -M virt -no-reboot -append &quot;console=${CONSOLE} root=/dev/${DISK}2 rootwait panic=1 rootfstype=ext4 rootflags=discard rw systemd.unit=rescue.target net.ifnames=0&quot; -device sdhci-pci -drive format=raw,file=${builddir}/disk.img,if=none,id=disk,cache=writeback,discard=unmap -device sd-card,drive=disk -device sdhci-pci -drive format=raw,file=${builddir}/secondary.img,if=none,id=secondary,cache=writeback,discard=unmap -device sd-card,drive=secondary -device virtio-rng-pci -nographic"/>
+   <arg line=" -kernel ${builddir}/boot/vmlinuz -cpu cortex-a53 ${ENABLE_KVM_AARCH64} -m 1024 -M virt,virtualization=true -no-reboot -append &quot;console=${CONSOLE} root=/dev/${DISK}2 rootwait panic=1 rootfstype=ext4 rootflags=discard rw systemd.unit=rescue.target net.ifnames=0&quot; -device sdhci-pci -drive format=raw,file=${builddir}/disk.img,if=none,id=disk,cache=writeback,discard=unmap -device sd-card,drive=disk -device sdhci-pci -drive format=raw,file=${builddir}/secondary.img,if=none,id=secondary,cache=writeback,discard=unmap -device sd-card,drive=secondary -device virtio-rng-pci -nographic"/>
   </exec>
  </target>