devfs - Change make_dev_covering to use dev_ops