# CONFIG_HID_RMI is not set
