Re: [Linaro-acpi] [RFC 2/2] ARM64 / ACPI: Point KVM to the virtual timer interrupt when booting with ACPI