enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/alpha/boot/main.c
..
..
@@ -14,7 +14,6 @@
14
14
 
15
15
 #include <asm/console.h>
16
16
 #include <asm/hwrpb.h>
17
-#include <asm/pgtable.h>
18
17
 
19
18
 #include <stdarg.h>
20
19