[SeaBIOS] [PATCH v7 0/3] seabios: load acpi tables from qemu