Akkor sem biztos, hogy feltétlenül fordítani kell. Lehet, hogy van az adott disztribnek "gyári" x86_I64 kernele is.