avx_kernel.asm takes kernel as a defiene
fancy addition to Makefile
add missing kernel