Error from pps-gpio on ODROID-C2

I am trying to connect a PPS source to an ODROID-C2 board using GPIO. I am running Armbian 19.11.3 Buster, with kernel 5.3.11-meson64.

I downloaded the Armbian kernel source for this kernel, added the following to meson-gxbb-odroidc2.dts, and compiled and installed it:

	pps {
		compatible = "pps-gpio";
		gpios = <&gpio GPIOY_3 GPIO_ACTIVE_HIGH>;
		status = "okay";
		interrupt-parent = <&gpio_intc>;
		interrupts = <26 IRQ_TYPE_LEVEL_LOW>;
	};

When I boot and load the pps-gpio module, I get the following error:

pps-gpio pps: failed to map GPIO to IRQ: -6
pps-gpio: probe of pps failed with error -22

Could anyone help me understand what I'm getting wrong that's causing this error?

Am I misunderstanding how to assign IRQs to GPIOs?