mk: require SSE4.2 support on all x86 platforms