add some VideCore/R-pi support code