[coreboot] Patch merged into coreboot/master: 2c70985 mptable: pretty print PCI INT entries

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 2c70985cc8a680983ce836c806bd70c00d97f437
Author: Sven Schnelle <svens at stackframe.org>
Date:   Wed Jun 20 09:58:21 2012 +0200

    mptable: pretty print PCI INT entries
    
    make it more readable by adding INT defines and a left shift.
    
    Change-Id: I7db4d8c71ab4d705833019aa4cc2f11cef7d4fee
    Signed-off-by: Sven Schnelle <svens at stackframe.org>

Build-Tested: build bot (Jenkins) at Wed Jun 20 11:23:35 2012, giving +1
Reviewed-By: Sven Schnelle <svens at stackframe.org> at Wed Jun 20 12:46:27 2012, giving +2
See http://review.coreboot.org/1113 for details.

-gerrit