Regarding building NOVA kernel