base-hw: add zynq platform

Status: currently stuck at init_virt_kernel()