Fixes devmnt warnings

Note that inferno devmnt has no reset, and does nxm's reset code in
inferno's init.