DT: arm,gic-v3: Documment PPI partition support

Add a decription of the PPI partitioning support.

Acked-by: Rob Herring <robh@kernel.org>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
1 file changed