Fix the issue reported in #1359, change the implementation of os_printf/os_vprintf for Intel SGX to get the actual bytes written.
Fix the issue reported in #1359, change the implementation of os_printf/os_vprintf for Intel SGX to get the actual bytes written.