CRISv32: add irq domains support