# CONFIG_KEYBOARD_OPENCORES is not set