GCC requires another #include to get the gcc-plugins to build cleanly.
Signed-off-by: NValdis Kletnieks <valdis.kletnieks@vt.edu>
Signed-off-by: NKees Cook <keescook@chromium.org>