Specify VEX encoding for SSE instructions to GCC