Symbol: MAX_KERNEL_CTX_CNT