[coreboot-gerrit] Patch merged into coreboot/master: kconfig_lint: add comments and whitespace fixes.

the following patch was just integrated into master:
commit 08cf90f860604b4ef26d4740ae985f550f6bad90
Author: Martin Roth 
Date:   Mon Jan 25 19:54:16 2016 -0700

kconfig_lint: add comments and whitespace fixes.

No functional changes.

Change-Id: I40284b68ddda7e19741c5306a8c74761c00e4b35
    Signed-off-by: Martin Roth 
    Reviewed-on: https://review.coreboot.org/13463
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit