A few months later, the problem is still there. Current version is

The repeating keys for USB keybords make grub completely impossible
to use. Some new checks starting with using 'c' as the first keystroke
showed that the repetition is random. Some time I get 10 characters
repeated, sometimes I get more than 80 characters filling one line and
an half on the screen.

This is really a serious problem, please consider looking at it.


Reply via email to