zynq/defconfig: making WDT drivers into modules