Add DEBUG_TPM option to Debugging menu