Re: [SeaBIOS] [seabios PATCH 1/2] acpi: set I/O APIC ID to 0 by default