sandbox: fix the return type of os_free() function