[coreboot-gerrit] Patch merged into coreboot/master: acpi_device: Add support for writing ACPI Interrupt descriptors

the following patch was just integrated into master:
commit 6b7c1f605c67f18996c584970a83fc5296c94747
Author: Duncan Laurie 
Date:   Mon May 9 15:38:36 2016 -0700

acpi_device: Add support for writing ACPI Interrupt descriptors

Add definitions for ACPI device extended interrupts and a method to
    write an Interrupt() descriptor to the SSDT output stream.

Interrupts are often tied together with other resources and some
    configuration items are shared (though not always compatibly) with
    other constructs like GPIOs and GPEs.

These will get used by device drivers to write _CRS sections for
    devices into the SSDT.  One usage is to include a "struct acpi_irq"
    inside a config struct for a device so it can be initialized based
    on settings in devicetree.

Example usage:

chip.h:
      struct drivers_i2c_generic_config {
        struct acpi_irq irq;
      };

generic.c:
      void acpi_fill_ssdt_generator(struct device *dev) {
        struct drivers_i2c_generic_config *config = dev->chip_info;
        ...
        acpi_device_write_interrupt(&config->irq);
        ...
      }

devicetree.cb:
      device pci 15.0 on
        chip drivers/i2c/generic
          register "irq" = "IRQ_EDGE_LOW(GPP_E7_IRQ)"
          device i2c 10 on end
        end
      end

SSDT.dsl:
      Interrupt (ResourceConsumer, Edge, ActiveLow, Exclusive,,,) { 31 }

Change-Id: I3b64170cc2ebac178e7a17df479eda7670a42703
    Signed-off-by: Duncan Laurie 
    Reviewed-on: https://review.coreboot.org/14933
    Tested-by: build bot (Jenkins)
    Reviewed-by: Aaron Durbin

See https://review.coreboot.org/14933 for details.

-gerrit