This drivers currently obtains linux/irqdomain.h by luck and
a chain of bizarre inclusions, which we're about to fix.

Let's include the required file directly.
Signed-off-by: Marc Zyngier <maz@kernel.org>