does anyone have any idea where to find x64 Win7 drivers for this laptop? i've tried using the x64 Vista drivers for the TPM/security and rendered my system useless.