K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-02-02T16:32:44.451555Z
K 7
svn:log
V 158
Only look for the ranges property when we have children. This fixes booting
on systems with a gicv2, but no PCIe so no gicv2m.

Sponsored by:	ABT Systems Ltd

END