ARM: SAMSUNG: Modify board files to use new PWM platform device