No x86, ele usa a CPUID
“sequência de marca do processador” recurso, onde suportado. Assim, no seu caso, é a própria CPU que está retornando a string "CPU Intel (R) Xeon (R) E5335 @ 2.00GHz". Isso corresponde ao dmidecode
output: ID: FB 06 00 00 01 03 00 00
corresponde a um CPUID 06FB, ie E5335 (a 5080 teria uma CPUID 0F64).
Você pode ver a implementação do kernel em arch/x86/kernel/cpu/common.c
get_model_name
function .
O Xeon E5335 é um CPU Clovertown, que suporta SSSE3 .