# CONFIG_IRDA_ULTRA is not set