[Hafnium] Re: Improving abort handling in Hafnium