[PATCH] x86_64: Use common sys_time64