kernel-rpi: use upstream bcmrpi_defconfig.

The upstream default configuration file for rpi is actively maintained and
there's no point in duplicating stuff just for some options.