The IRQ_* macros need to be made visible via the mach/irqs.h file but
without the additional macros defined in the board-*.h files.
Signed-off-by: NCatalin Marinas <catalin.marinas@arm.com>