Re: L4Re: uClibc and UTCB/TCR initialisation