[PATCH v4 0/9] arm64: Add support for KVM with ACPI

Hi Julien,

Which git tree are you basing upon for these patch series?

I have applied your patch set to Catalin's tree, even though GICv3 part
wasn't cleanly applied, the kernel boots fine initializing KVM properly on
Mustang which has fairly recent beta F/W from APM.