One note on the suggested fix from Florian: I don't think we can use shopt with bare /bin/sh, so the suggested change to the init script will also fail with an error.
I ended up using: if [ "$(echo /dev/tpm*)" != "/dev/tpm*" ] which is good enough for my usage but I have not tested it further. -Dan
