works

driver/counter.c

@@ -5,7 +5,6 @@
 #include <linux/platform_device.h>
 #include <linux/of_device.h>
 #include <linux/gpio/consumer.h>
-#include <linux/proc_fs.h>
 
 /* Meta Information */
 MODULE_LICENSE("GPL");

driver/counter.dts

@@ -5,6 +5,7 @@
   fragment@0 {
     target-path = "/";
     __overlay__ {
+      status = "okay";
       counter {
         compatible = "hottis,counter";
         red-led-gpio = <&gpio 26 0>;