--- linux/pcfclock.c	2017-09-11 15:57:45.230073000 +0200
+++ linux/pcfclock.c	2017-09-11 15:58:29.134762000 +0200
@@ -59,7 +59,11 @@
 #include <linux/device.h>
 #endif
 
+#if LINUX_VERSION_CODE >= KERNEL_VERSION(4,12,0)
+#include <linux/uaccess.h>
+#else
 #include <asm/uaccess.h>
+#endif
 #include <linux/semaphore.h>
 
 /* Major device number */