Hello, A short discussion on the issue came to the result, that this is not a bug.
It is a matter of configuration, which is up to the administrator of the computer. Like with grub, where the kernel parameters are configured in /etc/default/grub, in systemd-boot this is (or has to be) configured in /etc/kernel/cmdline. It might be worth thinking of creating the file /etc/kernel/cmdline during package install. This would make it more similar to grub. I assume systemd-boot is not at the end of development and maybe in future releases there will be an extended framework on configuring the boot behavior. We can close this. Thanks again. Greetings ... Marco -- UZH/ETH Zurich, Marco Schmidt, Functional Genomics Center Zurich Y32 H06, Winterthurerstr. 190, 8057 Zurich Tel +41 44 635 39 02, Fax +41 44 635 39 22, https://www.fgcz.ch/ - IT Coordinator -