[SeaBIOS] [PATCH 04/10] Improve accuracy of internal timers.