cleaned up kernel_avx.cpp file and updated build file