modify raspberrypi defconfig