K 10 svn:author V 4 manu K 8 svn:date V 27 2017-07-03T18:01:58.881574Z K 7 svn:log V 155 arm: gic: Change GIC_DEBUG_SPURIOUS to TUNABLE On armv6 default to 1 if INVARIANTS is set On arm64 always default to 0 Discussed with: andrew, ian, mmel END