[PATCH 15/18] x86: Tidy up the GDT size in start/16.S