sparc32,leon: add support for extended interrupt controller