[SeaBIOS] [Qemu-devel][PATCH 0/6] change acpi numa info format passed from qemu to seabios