Symbol: KL0_IRDA_HIGH_BAND