add new system file

hc

2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c

 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