[SeaBIOS] [PATCH 03/10] Add helper functions to convert timer irqs to milliseconds.