kernel: fix KERNEL_KASAN_VMALLOC build option