[ARM] Fix IXDP425 setup bug