x86: check_timer cleanup