how does selinux get initialized durring bootup?