added changed kernel main that now calls gdt-setup