Hi Hervé,

> 		/*
> 		 * interrupt-map has to be updated according to GPIO
> 		 * usage. The src irq (0 field) has to be updated with
> 		 * the needed GPIO interrupt number.
> 		 * More items can be added (up to 8). Those items must
> 		 * define a GIC SPI interrupt in the range 103 to 110.
> 		 */
> 		interrupt-map = <0 &gic GIC_SPI 103 IRQ_TYPE_LEVEL_HIGH>;

Thanks for digging into this. Gievn your results, I can live with a
minimal interrupt-map, but ideally it should do nothing instead of
mapping GPIO0? Will think about it...

All the best,

   Wolfram