[vm] allow config space to set kernel address space size, ARM sets to top 3GB
[platform][zynq] map both axi busses at their identity location