This has become so complicated.

So if I want to change some of the kernel boot parameters in the grub command line, on F32, how do I do it ?