[Arm-dev] [PATCH v1 78/87] ARM64 / ACPI: Point KVM to the virtual timer interrupt when booting with ACPI