[Bug 1208071] New: SELinux: restricting kernel_t causes issues for the way we setup Micro