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

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 08cf90f860604b4ef26d4740ae985f550f6bad90
Author: Martin Roth <martinroth at google.com>
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 <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/13463
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit