Update broccoli_lib_kernel.cpp