Disable AVX in kernel tree JIT code to make it work on jenkins VMs