# CONFIG_IR_RX51 is not set