only restart udev on Ubuntu