[Hafnium] Re: removal of hypervisor S1 defrag