proc_dointvec: write a single value