ARM: zynq: Specify MMC controller number for boot sequence