[OS-BUILD PATCH] Add Documentation back to kernel-devel as it has Kconfig now