user77/hardware-threat-model not found