[SeaBIOS] [PATCH 0/4] Further parallelize USB init by launching a thread per usb port.