[keps] KEPs for ARSSat-1