# CONFIG_IR_GPIO_CIR is not set
