ipipe:zynq: updated timer.c to support tsc for non-smp case
Merge branch 'ipipe-3.5.7' into ipipe-xilinx-3.5

Grabbing fix for printk from the primary domain from upstream ipipe
adt: updated defconfig to build I2C driver modules
adt:x86_64: added coretemp driver to defconfig
adt: moved ethernet drivers to modules
adt:zed: added ps i2c controller to device tree