Getting L4Linux2.4 to boot