Re: [PATCH] deprecation: x86 default machine types