Eu tive o mesmo problema que o seu,
e finalmente consertado com os pacotes de cabeçalho do plugin gcc instalados:
sudo apt-get install gcc-5-plugin-dev
referência vinculada aqui:
quando eu estou tentando construir o Linux no diretório de compilação usando make O=<linux_build_directory> ARCH=arm Image
, para obter os erros como:
make[1]: Entering directory '/home/payal/chanda/build/kernel'
CHK include/config/kernel.release
Using /home/payal/chanda/linux-4.9 as source for kernel
GEN ./Makefile
CHK include/generated/uapi/linux/version.h
CHK include/generated/utsrelease.h
In file included from <stdin>:1:0:
/home/payal/chanda/linux-4.9/scripts/gcc-plugins/gcc-common.h:4:22: fatal error: bversion.h: No such file or directory
#include "bversion.h"
^
compilation terminated.
Cannot use CONFIG_GCC_PLUGINS: your gcc installation does not support plugins, perhaps the necessary headers are missing?
make[1]: *** [gcc-plugins-check] Error 1
make[1]: Leaving directory '/home/payal/chanda/build/kernel'
make: *** [sub-make] Error 2