Re: How to build vanilla kernel from ark (was: Re: [OS-BUILD PATCH] docs: Update docs to reflect newer workflow.)