Symbol: integrity_kernel_read