rename TREX-SaberMod-Kernel-kkr4