enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/alpha/kernel/sys_jensen.c
..
..
@@ -25,7 +25,6 @@
25
25
 #include <asm/dma.h>
26
26
 #include <asm/irq.h>
27
27
 #include <asm/mmu_context.h>
28
-#include <asm/pgtable.h>
29
28
 #include <asm/tlbflush.h>
30
29
 
31
30
 #include "proto.h"