platform-raspberry-mainline: switch to rpi_dev kernel branch