Re: selinux_init() is not executed in booting in kernel 5.15