While booting a FIPS enabled OS image I saw that some options are set twice (`fips` and `boot=` here): <img width="1120" height="71" alt="Image" src="https://github.com/user-attachments/assets/8bd78698-b87b-410b-a610-f2da2cea0c47" />