How Debuggers Work: Getting and Setting x86 Registers, Part 2: XSAVE reddit / BSD