enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/nios2/mm/pgtable.c
..
..
@@ -10,7 +10,6 @@
10
10
 #include <linux/mm.h>
11
11
 #include <linux/sched.h>
12
12
 
13
-#include <asm/pgtable.h>
14
13
 #include <asm/cpuinfo.h>
15
14
 
16
15
 /* pteaddr: