K 10
svn:author
V 3
ian
K 8
svn:date
V 27
2014-09-11T15:36:36.616659Z
K 7
svn:log
V 280
Disable debugging-related options in all ARM kernel configs for stable-10.
This is a direct commit to stable-10.  The following options are disabled
in all arm kernel configs:

	DEADLKRES
	DIAGNOSTIC
	INVARIANTS
	INVARIANTS_SUPPORT
	WITNESS
	WITNESS_SKIPSPIN
Approved by:	re(gjb)

END