Forced irq threading is a prerequisite for RT and a nice debug feature (enabled via commandline option) in mainline. The following series adds the tiny missing pieces to enable this on the arm architecture. Thanks, tglx