You are using systemd-boot, right?
How to modify kernel options
In systemd-boot, it is actually quite simple. You edit the appropriate entry file which can be found on your EFI partition in the
loader/entriesdirectory. Each entry is a boot option on the menu and each has a line calledoptions. You can modify these entries directly, however, these changes may be overwritten when packages are installed or updated.To make the changes, instead of modifying the entries, modify the file
/etc/kernel/cmdlinewhich is a one-line file containing a list of kernel options. Then runsudo reinstall-kernelswhich will populate the entries and regenerate the initrds.
https://discovery.endeavouros.com/installation/systemd-boot/2022/12/
Add your kernel parameters to
/etc/kernel/cmdline
and then run:
sudo reinstall-kernels