The Board Support Guide Intel® Edison BSP User Guide, Section 4, Figure 2 on Page 11 clearly shows a 64 bit kernel option in the configuration section.
Clik here to view.

The Board Support Guide Intel® Edison BSP User Guide, Section 4, Figure 2 on Page 11 clearly shows a 64 bit kernel option in the configuration section.