[coreboot-gerrit] Patch merged into coreboot/master: nvramcui: Remove unnecessary header files

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 9bc6674b7cedb27bc48a48ef4ea840ccb9b305ed
Author: Martin Roth <martinroth at google.com>
Date:   Sat Apr 23 17:20:43 2016 -0600

    nvramcui: Remove unnecessary header files
    
    Change-Id: If845729bc34df646a5628ac2a35acc737fd4701d
    Signed-off-by: Martin Roth <martinroth at google.com>
    Reviewed-on: https://review.coreboot.org/14483
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer <stefan.reinauer at coreboot.org>


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

-gerrit