I think PR docs/39824 can be closed. The PR mentions changes to the kernel configuration chapter (chapter 8) of the handbook and the changes have been obsoleted by joeld's work in this area. Regards! Niclas --