zynq-boot now includes kernel modules, so moved kernel build instructions to a separate doc

Change-Id: I2e9ac44e43cc406633afefbefbee71ea2bf1966e