[ARM] SMDK6410: Correct I2C device name for WM8580