kernel: add another missing KASAN symbol