[SeaBIOS] Re: [PATCH] timer: Configure timer1 to a standard settings