linux-topic: Upgrade to 3.13
u-boot-zynq: Fix clock frequency for zynq-miami

For example, bdinfo reported 683 instead of 656 MHz CPU clock. Possibly other effects too.