Reverted back to C++ for kernel programming