GCC Plugin issue for kernel 3.14.17