Is there any evidence that badBIOS actually exists? From what I heard, the researcher never found any real evidence.