[SeaBIOS] [PATCH] seabios: acpi: allow qemu to load dsdt as external acpi table.