x86-64, modify_ldt: Ban 16-bit segments on 64-bit kernels