[SeaBIOS] [PATCH 08/10] Rename check_tsc() (and similar) to timer_check() and use u32.