[coreboot-gerrit] Patch merged into coreboot/master: cce6662 kconfig: use va_end to match corresponding va_start

the following patch was just integrated into master:
commit cce666207f23bc57845e0533c1c6f761149e0425
Author: Stefan Reinauer 
Date:   Mon Apr 6 01:14:21 2015 +0200

kconfig: use va_end to match corresponding va_start

Although on some systems va_end is a no-op, it is good practice
    to use va_end, especially since the manual states:

"Each invocation of va_start() must be matched by a corresponding
    invocation of va_end() in the same function."

Signed-off-by: Colin Ian King 
    Signed-off-by: Michal Marek

Change-Id: Ia08a57c37a6294e002cb6ce4c0a010c0d2edf973
    Signed-off-by: Stefan Reinauer 
    Reviewed-on: http://review.coreboot.org/9309
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel 
    Reviewed-by: Marc Jones

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

-gerrit