add platform-raspberrypi-mainline