raspi: add raspberry pi 2 machine