Re: [SeaBIOS] SeaBIOS stuck at timer setup