Stephen Warren 4be505d4fc ARM: dt: create a DT header for the GIC 13 lat temu
..
gpio 71fab21fee ARM: dt: add header to define GPIO flags 12 lat temu
interrupt-controller 4be505d4fc ARM: dt: create a DT header for the GIC 12 lat temu