dev-arm: improve Pl390 parameters