K 10 svn:author V 6 andrew K 8 svn:date V 27 2016-12-06T15:16:00.391950Z K 7 svn:log V 123 Add the missing gic_common.h include for GIC_BUS_FDT. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation END