[PATCH] x86-64: shorten the x86_64 boot setup GDT to what the comment says