[SeaBIOS] Re: USB keyboard not detected with dGPU with USB Type-C port