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