kernel options needed by systemd