Patch merged into coreboot/master: 7fb8699 MPTAPLE: generate from devicetree.cb

the following patch was just integrated into master:
commit 7fb869913fd4c223e9bb35b8250334671ef3b88f
Author: Sven Schnelle 
Date:   Thu Jun 21 22:19:48 2012 +0200

MPTAPLE: generate from devicetree.cb

This patch adds support for autogenerating the MPTABLE from
    devicetree.cb. This is done by a write_smp_table() declared
    weak in mpspec.c. If the mainboard doesn't provide it's own
    function, this generic implementation is called.

Syntax in devicetree.cb:

ioapic_irq <APICID> <INTA|INTB|INTC|INTD> <INTPIN>

The ioapic_irq directive can be used in pci and pci_domain
    devices. If there's no directive, the autogen code traverses
    the tree back to the pci_domain and stops at the first device
    which such a directive, and use that information to generate the
    entry according to PCI IRQ routing rules.

Change-Id: I4df5b198e8430f939d477c14c798414e398a2027
    Signed-off-by: Sven Schnelle

Reviewed-By: Patrick Georgi  at Fri Jul 13 08:38:13 2012, giving +2
See http://review.coreboot.org/1138 for details.

-gerrit