v32g_kernel