[SeaBIOS] Re: [PATCH] timer: Handle decrements of PIT counter