[PATCH] x86_64: Move ondemand timer into own work queue