ピピンが64ビット機として復活ですか?