net/: More fixes to wrong comments from old change from the interrupt driven network to the work-queue driven network.

net/devif/devif_callback.c

@@ -213,7 +213,8 @@ static bool devif_event_trigger(uint16_t events, uint16_t triggers)
  *   Configure the pre-allocated callback structures into a free list.
  *
  * Assumptions:
- *   This function is called with interrupts disabled.
+ *   Called early in the initialization sequence so that no special
+ *   protection is required.
  *
  ****************************************************************************/
 

net/devif/devif_initialize.c

@@ -88,6 +88,10 @@ uint8_t g_reassembly_timer;
  * Returned Value:
  *   None
  *
+ * Assumptions:
+ *   Called early in the initialization sequence so that no special
+ *   protection is required.
+ *
  ****************************************************************************/
 
 void devif_initialize(void)