lgdt needs data32 prefix, otherwise it loads only 24 bits. (sgdt

always saves 32 bits).

src/arch/i386/transitions/librm.S

 	pushl	%eax
 	
 	/* Restore protected-mode GDT */
-	lgdt	%ds:OFFSET(pm_gdt)
+	data32 lgdt	%ds:OFFSET(pm_gdt)
 
 	/* Switch to protected mode */
 	movl	%cr0, %eax