On Tue, Aug 31, 2010 at 02:52:32PM +0100, Catalin Marinas wrote: > CPU_32v6K is selected by CPU_V7 but it only depends on CPU_V6. > > Signed-off-by: Catalin Marinas <catalin.marinas at arm.com> Ok.