[rsbac] Re: Errors on kernel boot