make upgrade: Now that we have devfs, don't try to remove any /dev/*