Thanks, guys. "kbdrate -r 30" as root did the trick! No idea what made it slow down in the first place. :-/