arm64: zynqmp: dynamically mark r5 cores as used