[Hafnium] Re: hafnium page table configuration