BuildCpuHob (56, 32);
Can we find a better programmatic way of doing this? SATP register could be on method, or PCD? Also would help if you can clarify how we arrive at this value 56.