toolchain64 was used a few versions ago, but more recent versions had the 64-bit kernel compiled on corepure64. You can check the used gcc version in the first dmesg lines.
↧