Symbol: mk_kernel_cap