[coreboot-gerrit] Patch merged into coreboot/master: 9ad04c6 coreboot arm64: Add int constants to stdint.h

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 9ad04c61e908e9587ebbc4a5b45b0f4d531ba02e
Author: Furquan Shaikh <furquan at google.com>
Date:   Tue Jul 22 10:51:43 2014 -0700

    coreboot arm64: Add int constants to stdint.h
    
    BUG=None
    BRANCH=None
    TEST=Compiles successfully
    
    Original-Change-Id: I395c9b7bbe34c6834abc1a169779639f940121bd
    Original-Signed-off-by: Furquan Shaikh <furquan at google.com>
    Original-Reviewed-on: https://chromium-review.googlesource.com/209334
    Original-Tested-by: Furquan Shaikh <furquan at chromium.org>
    Original-Reviewed-by: Aaron Durbin <adurbin at chromium.org>
    Original-Commit-Queue: Furquan Shaikh <furquan at chromium.org>
    (cherry picked from commit da15df16464f4203db08fb02ad4c0a0f94d16724)
    Signed-off-by: Marc Jones <marc.jones at se-eng.com>
    
    Change-Id: I818de7cb0d8a44fb20c2bbea108c15ecc2b724ae
    Reviewed-on: http://review.coreboot.org/8650
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit