Re: problem booting L4Linux-2.6