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