[SeaBIOS] [PATCH] Increase precision of usec timer calculation