arm: zynq: Update ZYBO config options