xlnx-zynqmp: Properly support the smp command line option