Consider incorporating data from SMBIOS into the output

[marknelsonengineer]

When documenting SGX hardware, we really need to document 2 elements:

• The CPU model
• The motherboard/BIOS

test-sgx currently documents the CPU model. It does this via the CPUID instruction which can run in user-mode.

Data about the motherboard/bios is available on modern systems via SMBIOS: https://www.dmtf.org/standards/smbios

... the problem is it's not easily available in generic C as a user mode process. I think having test-sgx report this data is a great feature, but we need a discussion of the best way to obtain it. For example:

• Have the program run as a root process in Linux
• Split the source code into a Windows and Linux (it's a bit easier to obtain on Windows platforms via Win32 APIs)
• ...Something else...