[SeaBIOS] Does seabios support USB device hot plug?

[WANG Siyuan]

Hi
I use seabios as coreboot payload. It seems that seabios does not support
USB device hot plug.
For example, I use a USB keyboard connect to a mainboard. When booting to
GRUB, keyboard works. If I unplug the USB keyboard and plug it again, the
keyboard doesn't work.

Does seabios support USB device hot plug?

Yours sincerely,
WANG Siyuan