# CONFIG_MOUSE_ATIXL is not set