Added printf()'s that can be uncommented to trace MBUF operations. This is very useful when debugging a device driver.