[PATCH] EFI: Fix gdt load