Re: l4linux booting problem