Oder selber einen Kernel kompilieren, den Patch ersetzen, wie es in
https://bugzilla.kernel.org/show_bug.cgi?id=88391#c25 erwähnt wird.
Das Bauen des Kernels kann man über makepkg abwickeln, man muss nur das PKGBUILD ( Anleitung:
https://wiki.archlinux.org/index.php/Kernels/Compilation/Arch_Build_System ) anpassen. Das Bauen selber dauert so etwa 15 bis 30 Minuten auf schnellen Systemen (wenn man z.B, im tmpfs oder auf einer SSD und mit mehreren "Jobs" parallel baut), sollte nicht länger als eine Stunde dauern.