Re: [SeaBIOS] [PATCH v2] Add an IPMI SMBIOS entry