devproc: add user file to /proc/$PID