[coreboot-gerrit] Patch merged into coreboot/master: RISC-V: Add more debug info to debug printks

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 38cd3756b8b04786bea75fa10ca59ff3d46ac14e
Author: Andrew Waterman <waterman at cs.berkeley.edu>
Date:   Thu Feb 18 16:11:52 2016 -0800

    RISC-V: Add more debug info to debug printks
    
    Change-Id: I49292e69a5636c675bb8ed7cfe4462ca8189487e
    Signed-off-by: Andrew Waterman <waterman at cs.berkeley.edu>
    Reviewed-on: https://review.coreboot.org/13736
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>
    Tested-by: build bot (Jenkins)


See https://review.coreboot.org/13736 for details.

-gerrit