I have switched to a new computer an existing Debian installation.
At boot time, at the GRUB menu, each key press is repeated very fast, as
if the key repeat delay were close to zero: I can only select either the
first or the last option, since pressing the arrow keys go all the way
up or down.
If, for example, I press 'e' to edit an entry, it is shown, but also
almost 70 'e' characters are typed as well in the editing box.
I have searched for a key repeat delay in the manual, but I found
nothing.