$curr_menu['options'] should be unserialized in install_menu_set_menu()

In function install_menu_set_menu()

The current implementation does not unserialize the $curr_menu['options'] after fetching it from the database. If the item is then saved with menu_link_save() it gets serialized resulting in a double serialization in the database.

There is too a loop on db_fetch_array for the results of the query. However since $mlid identifies uniquely the column this is loop not necessary.