extensions: remove unused TOS code

Signed-off-by: Jan Engelhardt <jengelh@medozas.de>
1 file changed