Patch merged into coreboot/master: 66cb8b4 vortex86ex: Change PCI S/B resource reservation functions for more I/O devices.

the following patch was just integrated into master:
commit 66cb8b437a2f3d848a17cb57f951993c0d7c7e2c
Author: Andrew Wu 
Date:   Thu Oct 31 20:12:09 2013 +0800

vortex86ex: Change PCI S/B resource reservation functions for more I/O devices.

Originally, Vortex86EX PCI S/B internal resource reservation functions can
    only support one big legacy I/O device space (0-0xfff).

Change function signature to support other non-legacy I/O device space in
    the future.

Change-Id: I22f5c877ed441d59f29801d925ee40b24fb796ce
    Signed-off-by: Andrew Wu

See http://review.coreboot.org/3976 for details.

-gerrit