enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/alpha/boot/bootpz.c
..
..
@@ -18,7 +18,6 @@
18
18
 
19
19
 #include <asm/console.h>
20
20
 #include <asm/hwrpb.h>
21
-#include <asm/pgtable.h>
22
21
 #include <asm/io.h>
23
22
 
24
23
 #include <stdarg.h>