1. add lock version print for lwip (workaround) 2. add debug info into sys_arch.c to debug xQueueReceive issue