Se ao tentarem saber a versão do firmware com o comando
/opt/vc/bin/vcgencmd version
aparecer a mensagem:
/opt/vc/bin/vcgencmd: error while loading shared libraries: libvcos.so: cannot open shared object file: No such file or directory
podem resolver a questão copiando os conteúdos de
/opt/vc/lib
para
/usr/lib
