[SeaBIOS] USB1 devices and CONFIG_THREADS