Mark the busdma tx(4) as done. Also mark the tx(4) driver as
"a != p" safe; this is untested but there's really no reason for
this to not work.