platform-raspberrypi-mainline: adjust kernelconfig for systemd