The process for shipping a kernel workaround seems to be documented here, for those motivated to patch these ACPI bugs:

https://forums.gentoo.org/viewtopic-t-122145.html