[coreboot] SeaBIOS v1.7.2.1 stable release

[Kevin O'Connor]

A new stable release of SeaBIOS (version 1.7.2.1) has been tagged.
This release contains bug fixes, including several fixes for build
problems.

The release is available via git:
git clone git://git.seabios.org/seabios -b 1.7.2-stable

-Kevin


Kevin O'Connor (4):
      Update tools/acpi_extract.py to handle iasl 20130117 release.
      Fix Makefile - don't reference "out/" directly, instead use "$(OUT)".
      build: Don't require $(OUT) to be a sub-directory of the main directory.
      Verify CC is valid during build tests.

Alex Williamson (3):
      seabios q35: Enable all PIRQn IRQs at startup
      seabios q35: Add new PCI slot to irq routing function
      seabios: Add a dummy PCI slot to irq mapping function

Avik Sil (1):
      USB-EHCI: Fix null pointer assignment

 Makefile              |   10 +++++-----
 src/Kconfig           |    2 +-
 src/pciinit.c         |   47 ++++++++++++++++++++++++++++++++++++++++++-----
 src/usb-ehci.c        |    2 +-
 tools/acpi_extract.py |    4 ++--
 tools/test-build.sh   |   23 +++++++++++++++--------
 6 files changed, 66 insertions(+), 22 deletions(-)