kernel-rpi: update .config.