L4linux startup problem