Re: [SeaBIOS] [seabios][PATCH 2/2] acpi: change numa data format from fw_cfg interface