Raspberry Pi build guide

The Raspberry Pi platform has been merged into the GBM build. See README.Linux.md.