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