add a Coccinelle patch to ensure the pointer being used by isc_mem_free() and isc_mem_put() is not explicitly set to NULL (those mecros are taking care of it).