Re: [SeaBIOS] [PATCH] acpi: fix irq 8 ressource conflict