Add "#ifdef CONFIG_ARCH_IRQPRIO" where needed