Document how to get the kernel source and build it before building the zynq portal drivers

Change-Id: I9c242388783669dae7f5a3f253dc92be097c840e
clone the december branch of the kernel

Change-Id: I0792e3de1b112e348990d1718946661dac578d15