Add custom kernel boot options. As a first example, add
```
set system option kernel disable-mitigations
```
The initial implementation resulted in some useful simplifications to the image-tools handling of boot options, addressed in the sub-task T5980.