Fix build in ISO C++11 mode
Use GCC 4.6 for compiling the jf kernel
remove resources in overlay that are absent in base package