Re: [PATCH v2] fbdev: pxa3xx: use ktime_get_ts64 for time stamps