# CONFIG_KEYBOARD_GPIO_POLLED is not set