Switch to TREX-Kernel