Re: l4linux boot problem