make upgrade: Take back destroy_dev(9), it still exists.