Re: [SeaBIOS] [PATCH] copy SMBIOS table from coreboot