Rename deconfig to TREX-Kernel