CRISv32: annotate irq enable in idle loop