Documented Kernel configuration options
Merge pull request #2217 from WouterJ/ref_kernel_config

[Reference] Document AppKernel config settings