[Hafnium] How to allow Hafnium to access a DRAM address space