Hi
I never used the FRDM-KEA-32DS library so can't answer the question but it sounds like that would be correct since it is named "KEA" and presumably supports the 3 different boards in that series.
If you have problems just use the OpenSource uTasker project on GITHUB since it has targets for FRDM_KEAZN32Q64, FRDM_KEAZ64Q64 and FRDM_KEAZ128Q80 and its simulator makes it much easier to learn, develop, test and debug (and doesn't restrict to the S32 Design Studio).
Regards
Mark