Re: L4Linux booting problems