Re: [PATCH v2 4/4] doc: update Kernel documentation build system