Re: what is the minimal version of make supported for building the kernel?