MLS levels and the initial SID for kernel_t