Re: [SeaBIOS] [PATCH 1/2] seabios: Add Local APIC NMI Structure to ACPI MADT