Re: [coreboot] [REGRESSION] firmware: dmi_scan: add SBMIOS entry and DMI tables