path: rootskel_1.139/src/usr/lib/debian-installer/exit-linux
# stop the udev daemon before /dev/ is unmounted
if PID=$(pidof udevd); then
	kill -15 $PID
fi