Comment 62 for bug 1752437

@Maxime
I've basically used Lukas' patch , but removed the upper part of it (the one modifying platform.c).

Patching the acpi table as described above does not work. The problem seems to be that the values from the table are overwritten somehow, so patching it seems useless?

Then I added the CONFIG_ACPI_GENERIC_GSI=y to the "config" file of the Arch Linux source (https://git.archlinux.org/svntogit/packages.git/tree/trunk/config?h=packages/linux). I don't think that this file should be modified, since its header comment says so. I think the clean way would be crab2313s way, however this fails with the errors from above.