add idt.h to kernel headers
#include <kernel/assert.h>
#include <kernel/boot_info.h>
#include <kernel/gdt/gdt.h>
+#include <kernel/interrupts/idt.h>
#define SPIN while (1) {sys_yield(RUNNABLE);}
#define SPIN_NOMULTI do {} while (1);
