in `build_save_area()` 1. the py code use `cr0=0x10`, but based-on https://www.amd.com/system/files/TechDocs/24593.pdf (page 103, 526), it said `cr0=6000_0010h `, why ? 2. `g_pat=0x7040600070406`, i can not find where the value comes from 3. `cs=VmcbSeg(0xf000, 0x9b, 0xffff, eip & 0xffff0000)`, why `eip & 0xffff0000`? 5. how the attribute was calc-ed? (e.g. 0x93, 0x9b in VmcbSeg) ? thanks