[SeaBIOS] [PATCH 2/4] Rename check_time() to check_tsc().