Systemd's "soft-reboot" as a Restart option

Hi all, systemd since v.254 offers a very fast reboot that basically skips BIOS/UEFI & kernel-land and reboots just userland [1], you can see how fast it is with systemctl soft-reboot in a terminal. Maybe Plasma 6.0 should offer it as an option (along with a short tooltip description of what it does) for those cases where a “full” reboot for a kernel upgrade isn’t needed, say with Shift + MouseClick on the Restart button.