[SeaBIOS] [PATCH v2 1/2] Add an IPMI SMBIOS entry