# CONFIG_IRDA_DEBUG is not set