[coreboot-gerrit] Patch merged into coreboot/master: d86f0b7 reg_script: add reg_script_run_on_dev()

the following patch was just integrated into master:
commit d86f0b743fba5d02cfc1500997f6c6f5e4250eb5
Author: Aaron Durbin 
Date:   Tue Dec 10 17:09:40 2013 -0800

reg_script: add reg_script_run_on_dev()

The reg_script library has proven to be useful. It's
    also shown that many scripts operate on devices. However,
    certain code paths run the same script on multiple,
    but different, devices. In order to make that easier
    introduce reg_script_run_on_dev() which takes a device
    as a parameter. That way, chained reg_scripts are not
    scrictly needed to run the same script on multiple devices.

BUG=None
    BRANCH=None
    TEST=Built.

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

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

-gerrit