solved infinite loop in rfm_release_buffers(tx_sent)