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