Initial manifest for Raspberry Pi (rpi).

This won't work out of the box until we add a config.sh target for rpi, which is the last PR in the sequence.  I don't see any way this patch could affect CI'd things.

r? @michaelwu