Added debian wheezy / raspberry pi to supported platforms