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