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