[PATCH v1 1/1] arm64: zynqmp: dynamically mark r5 cores as used