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

the following patch was just integrated into master:
commit 2c70985cc8a680983ce836c806bd70c00d97f437
Author: Sven Schnelle 
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

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

-gerrit