[PATCH] x86_64: [PATCH] timer resume