This patch add support to use buttons example on raspberrypi-pico.
Note: unfortunately the raspberry-pico board doesn't have usables
buttons, then you need to add external buttons connected to GPIO16
and GPIO17.
Signed-off-by: Alan C. Assis <acassis@gmail.com>
eaeca78cc8