cosmetic: atcpit100_timer: Use device api to get platdata