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

[Paul Menzel]

Dear SeaBIOS folks,

Do you have any ideas regarding the USB issues with a dedicated GPU 
device with integrated USB Type-C port plugged in [1]?

Kind regards,

Paul

[1]: https://ticket.coreboot.org/issues/414