[Hafnium] Debugging page table creation in Hafnium