s/mx_handle_wait_one/mx_object_wait_one

Change-Id: I08e3e0b6347d8d1a5122c493c93caedb40233cf8
diff --git a/patches/gcc-patch.txt b/patches/gcc-patch.txt
index c8604a9..10d9355 100644
--- a/patches/gcc-patch.txt
+++ b/patches/gcc-patch.txt
@@ -1199,7 +1199,7 @@
 !   if (pid <= 0)
 !     return -1;
 ! 
-!   wait_result = mx_handle_wait_one ((mx_handle_t) pid, MX_TASK_TERMINATED,
+!   wait_result = mx_object_wait_one ((mx_handle_t) pid, MX_TASK_TERMINATED,
 ! 				    MX_TIME_INFINITE, NULL);
 ! 
 !   if (wait_result != NO_ERROR)