Could the Bitlocker vulnerability be a backdoor mandated by some government agency?