A bug in boot?

[Da Zheng]

Hello,

Shouldn't we deallocate the data in ds_device_write() before the 
function returns?
The data passed to ds_device_write() as an argument is an out-of-line 
data in the message, and I think it's the receiver's responsibility to 
deallocate the memory.
This bug cannot cause any errors immediately, however, it will result in 
the crash of mach after ds_device_write() is called many times (the 
error should be the same as the one shown in 
http://savannah.gnu.org/bugs/?25054).

Zheng Da