Patch merged into coreboot/master: 785e47b rmodtool: add support for ARM

the following patch was just integrated into master:
commit 785e47bbf3125d86632c16584a974d1c180a989a
Author: Aaron Durbin 
Date:   Thu Mar 20 11:08:02 2014 -0500

rmodtool: add support for ARM

Add support for creating ARM rmodules. There are 3 expected
    relocations for an ARM rmodule:
    - R_ARM_ABS32
    - R_ARM_THM_PC22
    - R_ARM_THM_JUMP24

R_ARM_ABS32 is the only type that needs to emitted for relocation
    as the other 2 are relative relocations.

BUG=chrome-os-partner:27094
    BRANCH=None
    TEST=Built vbootstub for ARM device.

Original-Change-Id: I0c22d4abca970e82ccd60b33fed700b96e3e52fb
    Original-Signed-off-by: Aaron Durbin 
    Original-Reviewed-on: https://chromium-review.googlesource.com/190922
    Original-Reviewed-by: Gabe Black 
    (cherry picked from commit a642102ba7ace5c1829abe7732199eda6646950a)
    Signed-off-by: Marc Jones

Change-Id: Ib3b3c90ebb672d8d6a537df896b97dc82c6186cc
    Reviewed-on: http://review.coreboot.org/7204
    Tested-by: build bot (Jenkins)
    Reviewed-by: Patrick Georgi 
    Reviewed-by: Edward O'Callaghan

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

-gerrit