ARM: 5784/1: fix early boot machine ID mismatch error display
authorNicolas Pitre <nico@fluxnic.net>
Sat, 7 Nov 2009 06:35:06 +0000 (07:35 +0100)
committerRussell King <rmk+kernel@arm.linux.org.uk>
Sun, 8 Nov 2009 11:58:54 +0000 (11:58 +0000)
That code was refactored a long time ago, but one particular label
didn't get adjusted properly which broke the listing of supported
machines.

Signed-off-by: Nicolas Pitre <nico@marvell.com>
Signed-off-by: Russell King <rmk+kernel@arm.linux.org.uk>

No differences found