> +			/*
> +			 * interrupt-map has to be updated according to GPIO
> +			 * usage. The order has to be kept. Only the src irq
> +			 * (0 field) has to be updated with the needed GPIO
> +			 * interrupt number.
> +			 */
> +			interrupt-map = <0 &gic GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 104 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 105 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 106 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 107 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 108 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 109 IRQ_TYPE_LEVEL_HIGH>,
> +					<0 &gic GIC_SPI 110 IRQ_TYPE_LEVEL_HIGH>;

I'd think this should be dropped from the include and added in the board
file instead. I did this with my board and it works fine.