Fix a bug in hal_kentry.S : the "uzone" pointer in the thread descriptor must not be modified in case of interrupt.