- Rebased on v3.0-rc5 - Rename gic_ppi_to_vppi() to gic_ppi_map() - Rename CONFIG_ARM_GIC_VPPI to CONFIG_ARM_GIC_PPI_MAP - Add gic_ppi_map_on_cpu()