[PATCH v2] ARM: Kconfig: let ARM9TDMI and ARM7TDMI invisible.

[Russell King - ARM Linux]

On Wed, Apr 24, 2013 at 12:20:24PM +0800, Chen Gang wrote:
> If CONFIG_MMU is disabled, it will let ARM9TDMI and ARM7TDMI visible,
> but in fact, only AT91X40 need ARM7TDMI, so need not let them visible.

I'll apply it myself this evening.  Can I add:

Tested-by: Chen Gang <gang.chen at asianux.com>

to it?