[coreboot-gerrit] Patch merged into coreboot/master: 9a0b251 i3100: Convert to per-device ACPI

the following patch was just integrated into master:
commit 9a0b251680cf4aa9dbacde9c60d8579da81ed404
Author: Vladimir Serbinenko 
Date:   Mon Sep 1 22:35:20 2014 +0200

i3100: Convert to per-device ACPI

Change-Id: Id90db4f6ce1a5fb506c81bc3a6010d85b0aa8c43
    Signed-off-by: Vladimir Serbinenko 
    Reviewed-on: http://review.coreboot.org/6940
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

See http://review.coreboot.org/6940 for details.

-gerrit