No they could have shipped Nokia maps as default just as long as Google Maps was included as part of the GAPPs suite. Samsung still ships many of their proprietary apps as default (Samsung Pay, their own messaging and mail app etc)