Linux 64 bits, depuis longtemps