[PATCH] arm: irqs_disabled() type fix