void asm_setup_gdt(uint32_t addr, uint32_t size)