This patch set addresses all outstanding comments on the v2 patch from Philip Kirkpatrick and moves the BSP to use the existing Xilinx support code that the AArch64 ZynqMP BSP uses. Philip, Hopefully this isn't overstepping, but there's some renewed interest in this work and I figured I'd see if I could get it moving again. Kinsey