[kernel] make make_shared available everywhere
@@ -67,6 +67,7 @@ namespace std11 = std;
#include <memory>
#else
#include <boost/shared_ptr.hpp>
+#include <boost/make_shared.hpp>
#include <boost/enable_shared_from_this.hpp>
namespace std11 = boost;
#endif
