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

the following patch was just integrated into master:
commit 9ad04c61e908e9587ebbc4a5b45b0f4d531ba02e
Author: Furquan Shaikh 
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 
    Original-Reviewed-on: https://chromium-review.googlesource.com/209334
    Original-Tested-by: Furquan Shaikh 
    Original-Reviewed-by: Aaron Durbin 
    Original-Commit-Queue: Furquan Shaikh 
    (cherry picked from commit da15df16464f4203db08fb02ad4c0a0f94d16724)
    Signed-off-by: Marc Jones

Change-Id: I818de7cb0d8a44fb20c2bbea108c15ecc2b724ae
    Reviewed-on: http://review.coreboot.org/8650
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Patrick Georgi

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

-gerrit