[PATCH v3 09/30] x86: Add SMBIOS info for Coral