This is a follow up for f80dff9d which
didn't include adaption for the new ns9xxx machine support.
Signed-off-by: NUwe Kleine-König <ukleinek@informatik.uni-freiburg.de>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>