Patch merged into coreboot/master: Kconfig: Prefix hex defaults with 0x

the following patch was just integrated into master:
commit 311fb696cfa6644ca82dca3e1ea825401779db51
Author: Martin Roth 
Date:   Thu Sep 29 14:46:24 2016 -0600

Kconfig: Prefix hex defaults with 0x

Because these variables had "non-hexidecimal" defaults, they
    were updated by kconfig when writing defconfig files.

Change-Id: Ic1a070d340708f989157ad18ddc79de7bb92d873
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/16827
    Tested-by: build bot (Jenkins)
    Reviewed-by: Duncan Laurie 
    Reviewed-by: Patrick Georgi 
    Reviewed-by: Paul Menzel

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

-gerrit