Valószínűleg ez a jó kernel. Az EM64T majdnem ugyanaz mint az AMD64, sok helyen nem is különböztetik meg. Hacsak nincs kimondottan EM64T kernel (nem tartom valószínűleg, bár ugyan nem néztem), akkor ez a jó kernel. Ha a CPU nem EM64T lenne, akkor be sem boot-olt volna ezzel a kernellel. Szerintem nincs ezzel semmi baj.
--
trey @ gépház