apps: machine: zynqmp_r5: correct IPI setting.