systemctl reboot

Reboot the system. More information: https://www.freedesktop.org/software/systemd/man/systemctl.html#reboot.

systemctl reboot

systemctl reboot --firmware-setup