Add new Raspberry Pi device (rpi).

This isn't a zero-risk change but it's pretty small.  After this PR, `./config.sh rpi` should Just Work.

r? @michaelwu