Swap SEEDS to TLOS on Telos