You should try to bring this up on mailing lists if you're sure it does support 64-bit long mode..
You can use the CPUID instruction to check if it is supported using a small userland program.
As for kernels claiming it's an i686, that's normal for identifying the x86 families.. i686 technically encompasses the Pentium PRO to the Pentium 3, Pentium 4 was a dramatic change for Intel and the family identifier went from 0x6 (6) hexadecimal to 0xf (15) apparently working around a Windows NT bug, there was no i786/i886/i986.
A lot of kernels just pick "i686" as the lowest common denominator for modern x86 compatibles, with SSE/MMX etc.
|