Enable choosing "Xilinx Zynq ARM Cortex A9 Platform" as system type.
This is required for placing Linux kernel in memory starting at address
0x10000000 instead of 0x00000000.