switched to devfs_remove(), killed gratitious devfs_handle_t fields
	(actually, one of them became gratitious and another was completely
	 unused to start with).