you are right, it is not only the arm-platform involved. But your hint that systemd works, is not useful for me. I need to change the setting also after the boot - with the "right" tool. Of course I know the echo X > /proc/sys/... method as a workaround at the moment. systemd-sysctl is no real replacement for sysctl.