include raspbian in platform list