Windows 7 ではなぜ virtualbox には 32 ビットのオプションしかなく、64 ビットのオプションがないのですか？