Set-up GDT from kernel from C