# CONFIG_KEYBOARD_GPIO is not set