update raspberry pi patchset
add procps to smoker and server configs