You mean Windows reported the vendor:product ID the usb gadget driver claimed. This isn't 'proof' of the exact core used in the SoC. Intel themselves have stated that a lot has changed from the original core including feature removal - an Intel rep themselves said right here in this very thread that they weren't 100% sure if it was 32bit or 64bit. Keep in mind there's more to it than merely being a 64bit core - the 'bios' (which appears to be based on viperOS after running strings on the ifwi bins) needs to participate, as does u-boot to load a 64bit kernel. Until you've actually successfully booted a 64bit kernel I would avoid making any concrete claims one way or the other.
Clik here to view.
