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

the following patch was just integrated into master:
commit 9bc6674b7cedb27bc48a48ef4ea840ccb9b305ed
Author: Martin Roth 
Date:   Sat Apr 23 17:20:43 2016 -0600

nvramcui: Remove unnecessary header files

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

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

-gerrit