More detailed documentation about kernel_cmd

See issue #4874.