[PATCH] time: x86_64: convert x86_64 to use GENERIC_TIME