Adding ipc_ prefix to ipc primitives

* Also change _orig to _intr for clarity
 * Cleaned up {IPC,KER}VEC
 * Renamed _minix_kernel_info_struct to get_minix_kerninfo
 * Merged _senda.S into _ipc.S
 * Moved into separate files get_minix_kerninfo and _do_kernel_call
 * Adapted do_kernel_call to follow same _ convention as ipc functions
 * Drop patches in libc/net/send.c and libc/include/namespace.h

Change-Id: If4ea21ecb65435170d7d87de6c826328e84c18d0

lib/libblockdriver/driver.c

@@ -100,7 +100,7 @@ void blockdriver_announce(int type)
   char label[DS_MAX_KEYLEN];
   char *driver_prefix = "drv.blk.";
 
-  /* Callers are allowed to use sendrec to communicate with drivers.
+  /* Callers are allowed to use ipc_sendrec to communicate with drivers.
    * For this reason, there may blocked callers when a driver restarts.
    * Ask the kernel to unblock them (if any). Note that most block drivers
    * will not restart statefully, and thus will skip this code.
@@ -139,7 +139,7 @@ static void send_reply(endpoint_t endpt, message *m_ptr, int ipc_status)
    * the SENDREC's receive part, after which our next SENDNB call would fail.
    */
   if (IPC_STATUS_CALL(ipc_status) == SENDREC)
-	r = sendnb(endpt, m_ptr);
+	r = ipc_sendnb(endpt, m_ptr);
   else
 	r = asynsend3(endpt, m_ptr, AMF_NOREPLY);