# CONFIG_IRDA is not set