Revert "[PATCH] x86-64: Try multiple timer variants in check_timer"