add 3.5.7 kernel built from official livedvd config