ARM: S3C64XX: Add S3C64XX support to the generic Samsung ADC driver