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)
commit158bc5af3d49be49c33dc06ff90c4f754c7d4f1b
treec54fa97f41b290753d873137ea97b3a61fcfb5b5
parentc742239866250a5690485ab775b942c85c6bee63
ARM: 5784/1: fix early boot machine ID mismatch error display

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>
arch/arm/kernel/head-common.S