Add SSE2 support to Platform.h