Voting machines: Voting machines are simple enough devices that they do not need any third party OS like Linux or Windows.
TXT could lead to much evil, even if it's optional. I could imagine non-free drivers that required TXT functionality to be enabled in order for them to be installed.
It does not make the kernel faster or better, throw it away.