[SeaBIOS] [PATCH 16/19] smbios: Make smbios_build_tables() ready for 64-bit tables