Fix int/EMACS_INT use in keyboard.c.