Add initial support for the Raspberry Pi platform