Update kernel configuration for zynq-zc702

Allows the zc702 to boot with the 3.13 kernel.