system-arm: Add irq for hypervisor timer in device tree

ARM fast model CPU cannot get timer interrupts without this IRQ setting
in the device tree.

Change-Id: I084c475c04285f4f40eb38a80ddd038207e4764f
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/19650
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Andreas Sandberg <andreas.sandberg@arm.com>
Maintainer: Andreas Sandberg <andreas.sandberg@arm.com>
diff --git a/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi b/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
index 54a02b2..61a0104 100644
--- a/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v1_base.dtsi
@@ -53,7 +53,8 @@
 			     "arm,armv7-timer";
 		interrupts = <1 13 0xf08>,
 		             <1 14 0xf08>,
-		             <1 11 0xf08>;
+		             <1 11 0xf08>,
+		             <1 10 0xf08>;
 		clocks = <&osc_sys>;
 		clock-names="apb_pclk";
 	};
diff --git a/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi b/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
index 9cdee85..b901b92 100644
--- a/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
+++ b/system/arm/dt/platforms/vexpress_gem5_v2_base.dtsi
@@ -55,7 +55,8 @@
 			     "arm,armv7-timer";
 		interrupts = <1 13 0xf08>,
 		             <1 14 0xf08>,
-		             <1 11 0xf08>;
+			     <1 11 0xf08>,
+		             <1 10 0xf08>;
 		clocks = <&osc_sys>;
 		clock-names="apb_pclk";
 	};