I made some changes to the entry in the ARM Machine Registry after
submission which was the wrong thing to do.
This patch should help to fix this error.
Signed-off-by: NEric Bénard <eric@eukrea.com>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>