Patch merged into coreboot/master: mb/gigabyte/ga-g41m-es2l: Fix ACPI IRQ settings for SATA

the following patch was just integrated into master:
commit 2b2f465fcb1afe4960c613b8ca91e868c64592d4
Author: Damien Zammit 
Date:   Wed May 11 19:08:33 2016 +1000

mb/gigabyte/ga-g41m-es2l: Fix ACPI IRQ settings for SATA

Previously, due to a bug in devicetree and incorrect IRQ
    settings in ACPI, SATA controller would not initialize
    any HDDs in the OS, even though it worked in SeaBIOS.
    The devicetree setting is not needed because SATA must
    function in "plain" mode on this board, as "combined" mode
    does not work at all.

Change-Id: I0036c4734de00b84cc3d64f38e4b1fd80fd1a25d
    Signed-off-by: Damien Zammit 
    Reviewed-on: https://review.coreboot.org/14776
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth

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

-gerrit