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)