Patch from Ben Dooks

Add machine entry and support for the HP iPAQ rx3715
into arch/arm/mach-s3c2410, as well as updating the
default configuration for the s3c2410 to include it.

Signed-off-by: Ben Dooks
Signed-off-by: Russell King