File pcfclock-linux-4.12.patch of Package pcfclock
--- 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 */