Here it goes a new version of the patchset.It addresses the problems raised, namely:* it does not harm make headers_check anymore. (fill_ldt is moved to desc.h)* it fixes the x86_64 spontaneous boot problem* it does not have a warning at get_desc_base() anymore.