ODROID-C4: arm64/dts: add PPS support over gpio pin #7

Requested and tested by https://forum.odroid.com/viewtopic.php?p=386053#p386053

Change-Id: I7b58904f4caddca0c664896a4bfeaf84762b6b83
Signed-off-by: Dongjin Kim <tobetter@gmail.com>

Author: tobetter

arch/arm64/boot/dts/amlogic/overlays/odroidc4/Makefile

@@ -20,6 +20,7 @@ dtbo-$(CONFIG_ARCH_MESON64_ODROIDC4) += spi0.dtbo		\
 					esp8089.dtbo		\
 					sdio.dtbo		\
 					fanspeed-full.dtbo	\
+					pps-gpio_p7.dtbo	\
 					pps-gpio_p11.dtbo	\
 					pps-gpio_p12.dtbo	\
 					pwm_ab.dtbo		\

arch/arm64/boot/dts/amlogic/overlays/odroidc4/pps-gpio_p7.dts

@@ -0,0 +1,19 @@
+/dts-v1/;
+/plugin/;
+
+#include <dt-bindings/gpio/meson-g12a-gpio.h>
+#include <dt-bindings/gpio/gpio.h>
+
+/ {
+	fragment@0 {
+		target-path = "/";
+
+		__overlay__ {
+			pps: pps {
+				compatible = "pps-gpio";
+				gpios = <&gpio GPIOX_5 GPIO_ACTIVE_HIGH>;
+				status = "okay";
+			};
+		};
+	};
+};