Re: Regarding building NOVA kernel