Igor,
Looks like IMX6QDL_CLK_CKO is defined in clk-imx6q.c, but I don't see anything similar in clk-imx6ul.c.
I also tried following the code in clk-imx6q.c but could not understand how this would output 32k on a certain pin.
I also tried to explicitly set
IMX6UL_PAD_ENET1_RX_EN__REF_CLK_32K 0x1b0b0 in imx6ul-14x14-evk.dts, but was not able to see the clock output on the ENET1_RX_EN pin.
Note that I don't need ethernet to work for my application.
Sajid