Update the coverity stuff for the kernel command line option and other stuff
draft default tip
2021-06-02, Gary Kramlich