PKG Config files for Rapsberry Pi Firmware tools