Yes, it works. I applied the patch to Kernel 4.8.5 from Kernel:stable, and the system successfully boots now regardless whether IO-APIC is enabled or not.