SMBIOS_GET32
SMBIOS_GET32(cp, 0x0c); /* Maximum size. */
#define UUID_GET(base, off) SMBIOS_GET32(base, off)
f1 = ntohl(SMBIOS_GET32(addr, 0));
f1 = le32toh(SMBIOS_GET32(addr, 0));
smbios.length = SMBIOS_GET32(saddr, 0x0c);
paddr = SMBIOS_GET32(saddr, 0x18);