[coreboot-gerrit] Patch merged into coreboot/master: inteltool: add --ahci for printing AHCI registers

the following patch was just integrated into master:
commit 904538bcc153ee889e6ba26dec7dd5d3b8feeef1
Author: Iru Cai 
Date:   Wed Jun 8 22:39:22 2016 +0800

inteltool: add --ahci for printing AHCI registers

According to datasheets for Intel ICH/PCH, it works for chipsets from
    ICH7 to 9-series PCH, with PCI device address D31:F2.

Change-Id: If1ddd7208108bda949b5a94894a7bf9e8bfe1e5f
    Signed-off-by: Iru Cai 
    Reviewed-on: https://review.coreboot.org/15106
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi

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

-gerrit