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