# CONFIG_IRDA is not set
