[SeaBIOS] SeaBIOS stuck at timer setup