Modify Samsung Galaxy Mini 2 kernel defconfig for systemd (http://cgit.freedesktop.org/systemd/systemd/tree/README)