fix typo, include template to support gdb on aarch64
fix typo, include template to support gdb on aarch64

RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore