kernel: misc fixes

kernel-src/include/kernel/abi.h

@@ -55,12 +55,14 @@ typedef struct {
 #define DT_SOCK 12
 #define DT_WHT 14
 
+#define NAME_MAX 255
+
 typedef struct {
 	ino_t d_ino;
 	off_t d_off;
 	unsigned short d_reclen;
 	unsigned char d_type;
-	char d_name[1024];
+	char d_name[NAME_MAX+1];
 } dent_t;
 
 #define TYPE_FIFO 1

kernel-src/include/x86-64/arch/idt.h

@@ -1,5 +1,5 @@
 #ifndef _IDT_H
-#define _IDT_h
+#define _IDT_H
 
 void arch_idt_reload();
 void arch_idt_setup();