df729fb05ae2 ("x86/gsseg: Make asm_load_gs_index() take an u16")