# CONFIG_MOUSE_PS2_VMMOUSE is not set