Also disable krim_prncpl_t when disabling users;