Platform: VExpress: Add support for PPI for PMU counter overflow
As per ARM architecture PMU overflow counter should be PPI but only SPI is supported in the current ACPI configuration. This change is to support both PPI and SPI, making PPI as default.
Signed-off-by: Aravind Gokina aravind.gokina@arm.com