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>