The --devdir option to configure makes no sense, it's where
kernel devices are installed. We have no such devices after
removing the kernel modules, the named pipes we use lives
in $(varrundir) i. e., /var/run.
The device dir is till a hardcoded default in many drivers,
but after all we normally doesn't use these defaults, we
set the device as a runtime option.