drivers/rtc/rtc-88pm860x.c: use dev_get_platdata()