patch for odroid-gps