How to determine if a Windows machine has 64-bit Registry section