[PATCH] i386: Rename boot_gdt_table to boot_gdt