Part of the initialization code of the interrupt controller is
board-specific. It's mainly the external interrupt IRQ[0,3]
configuration. This moved in platform file by this ChangeSet.
Signed-off-by: Sylvain Munaut <tnt@246tNt.com>