ARM: S3C2416: Add support for OHCI on SMDK2416