Re: which configuration changes for x86_64-v2+ necessary?