What is the pin UART3_RXD are you connected to? If you are connecting this pin to an interrupt signal, I mean you can set this pin as a gpio pin (MX7D_PAD_UART3_RX_DATA__GPIO4_IO4). Then in the device tree, you can set it as gpio interrupt. There are many examples that you can find in the device tree. (https://source.codeaurora.org/external/imx/linux-imx/tree/arch/arm/boot/dts/imx7d-sdb.dts?h=imx_4.9.88_2.0.0_ga )
e.g.
tsc2046@0 {
compatible = "ti,tsc2046";
reg = <0>;
spi-max-frequency = <1000000>;
pinctrl-names ="default";
pinctrl-0 = <&pinctrl_tsc2046_pendown>;
interrupt-parent = <&gpio2>;
interrupts = <29 0>;
pendown-gpio = <&gpio2 29 GPIO_ACTIVE_HIGH>;
pinctrl_tsc2046_pendown: tsc2046_pendown {
fsl,pins = < MX7D_PAD_EPDC_BDR1__GPIO2_IO29 0x59 >; };
It used the GPIO pin for interrupt. You can go to the tsc2046 driver to see how to handle the IRQ.