Question about code which uses MPIC_NO_RESET on 85XX

Hi,

Can we change this code (from mpc85xx_ds.c)

if (of_flat_dt_is_compatible(root, "fsl,MPC8572DS-CAMP")) {
    mpic = mpic_alloc(NULL, 0,
        MPIC_NO_RESET |
        MPIC_BIG_ENDIAN |
        MPIC_SINGLE_DEST_CPU,
        0, 256, " OpenPIC  ");
} else {
    mpic = mpic_alloc(NULL, 0,
        MPIC_BIG_ENDIAN |
        MPIC_SINGLE_DEST_CPU,
        0, 256, " OpenPIC  ");
}

in this one

mpic = mpic_alloc(NULL, 0,
    MPIC_BIG_ENDIAN |
    MPIC_SINGLE_DEST_CPU,
    0, 256, " OpenPIC  ");

using "pic-no-reset" in the device tree?

Thanks!

Ciao,
Alessio