Re: [PATCH 1/2] fbdev: pxa3xx: use ktime_get_ts64 for time stamps