rpi: cleaning up kernel defconfig