Add KEY_CTRL_FORMAT to keyboard.h.