Re: [SeaBIOS] [PATCH v3 0/5] seabios: load acpi tables from qemu