[Linaro-acpi] [RFC 0/2] Enable KVM on ARM when booting with ACPI