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