[PATCH] s-t-RAM: load gdt the right way