I can also confirm that I've never experienced the problem on Windows or on the GRUB menu, both with the keyboard plugged into a single USB 3.0 and into 2 USB 2.0 ports.
I can also confirm that I've never experienced the problem on Windows or on the GRUB menu, both with the keyboard plugged into a single USB 3.0 and into 2 USB 2.0 ports.