• Update a disabled KASSERT() to use sbused() instead of accessing the no-longer existant sb_cc sockbuf member.
• Use sbavail() instead of sbused() in t4_soreceive_ddp() to match the usage in soreceive_stream() on which it is based.

Discussed with: glebius (2)