Bug#1007837: linux: Missing gpio_zynq in arm64 debian installer initrd

[Michal Simek]

Hi,

it should be enough to enable this option to get this driver to initrd

CONFIG_GPIO_ZYNQ=m

Thanks,
Michal