Re: [SeaBIOS] Boot menu key does not work with config options threads set to 2