Rename TREX-Kernel