Make utcb of ec under destruction inaccessible
Take care to wipe mappings of pd under destruction
Use remove_utcb during Ec destruction