Several existing platforms which sport an A15 compatible GIC to not include the extended GIC cpu interface regisiters in their device tree. Fix these. Also extend the bindings to cope with cpu intefface registers which are not in contiguous pages. Ian.