Re: [LinuxBIOS] EPIA ACPI issues & IRQ routing