Nothing from the asm/mach/irq.h header is needed in this file, so there
is no need to include it.
Signed-off-by: NThierry Reding <treding@nvidia.com>