Patch from Nicolas Pitre

The ARM EABI defines new names for GCC helper functions.
Signed-off-by: NNicolas Pitre <nico@cam.org>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>