This is an Arch Linux PKGBUILD for a kernel based on Linux Stable, patched for better VGA passthrough compatibility. Use at your own risk!
It includes the following patches by Alex Williamson:
- i915: Add module option to support VGA arbiter on HD devices
- pci: Enable overrides for missing ACS capabilities
Note: This only saves you the trouble of patching your kernel. In addition to installing this kernel, you will still need to edit your mkinitcpio.conf and your grub config. For more detailed instructions, here are some good resources: