brcm63xx: fix a few issues in irq chip drivers