libvpx: Pull from upstream

source/libvpx/vpx_ports/vpx_timer.h

 /*
  *  Copyright (c) 2010 The WebM project authors. All Rights Reserved.
  *
  *  Use of this source code is governed by a BSD-style license
  *  that can be found in the LICENSE file in the root of the source
  *  tree. An additional intellectual property rights grant can be found
  *  in the file PATENTS.  All contributing project authors may
  *  be found in the AUTHORS file in the root of the source tree.
  */
 
 
 #ifndef VPX_PORTS_VPX_TIMER_H_
 #define VPX_PORTS_VPX_TIMER_H_
+
+#include "./vpx_config.h"
+
 #include "vpx/vpx_integer.h"
 
 #if CONFIG_OS_SUPPORT
 
 #if defined(_WIN32)
 /*
  * Win32 specific includes
  */
 #ifndef WIN32_LEAN_AND_MEAN
 #define WIN32_LEAN_AND_MEAN
@@ skipping 84 matching lines @@
 vpx_usec_timer_mark(struct vpx_usec_timer *t) { }
 
 static INLINE int
 vpx_usec_timer_elapsed(struct vpx_usec_timer *t) {
   return 0;
 }
 
 #endif /* CONFIG_OS_SUPPORT */
 
 #endif  // VPX_PORTS_VPX_TIMER_H_