Problems with l4linux starting