Ion shell distributions as free energy source for plasma waves on field lines mapping to plasma sheet boundary layer