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