packaging: add vcgencmd tool for raspberry pi