# CONFIG_MOUSE_PS2_TOUCHKIT is not set