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