enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/mips/mm/sc-r5k.c
..
..
@@ -12,7 +12,6 @@
12
12
 #include <asm/bcache.h>
13
13
 #include <asm/cacheops.h>
14
14
 #include <asm/page.h>
15
-#include <asm/pgtable.h>
16
15
 #include <asm/mmu_context.h>
17
16
 #include <asm/r4kcache.h>
18
17