The zynq has a Cortex-A9 with the corresponding smp_twd timers. Use them.
Signed-off-by: NSteffen Trumtrar <s.trumtrar@pengutronix.de>
Signed-off-by: NMichal Simek <michal.simek@xilinx.com>