[coreboot-gerrit] Patch merged into coreboot/master: 580e564 device: provide option to always load PCI option roms

the following patch was just integrated into master:
commit 580e5642a8d1db1bc85c5d55dc2227f3fda8eb34
Author: Kyösti Mälkki 
Date:   Thu May 1 16:31:34 2014 +0300

device: provide option to always load PCI option roms

Certain kernel drivers require the presence of option rom
    contents because the board's static configuration information
    is located within the blob. Therefore, allow a chipset/board to
    instruct the pci device handling code to always load but not
    necessarily run the option rom.

BUG=chrome-os-partner:25885
    BRANCH=baytrail
    TEST=Both enabling and not enabling this option shows expected behavior.

Change-Id: Ib0f65ffaf1a861b543573a062c291f4ba491ffe0
    Signed-off-by: Aaron Durbin 
    Reviewed-on: https://chromium-review.googlesource.com/188720
    Reviewed-by: Duncan Laurie 
    Signed-off-by: Kyösti Mälkki 
    Reviewed-on: http://review.coreboot.org/5594
    Reviewed-by: Aaron Durbin 
    Tested-by: build bot (Jenkins)

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

-gerrit