Re: [SeaBIOS] USB1 devices and CONFIG_THREADS