[SeaBIOS] [PATCH 07/10] Rename check_timer() function (and similar) to irqtimer_check().