Ao que parece, o Everest pega a informação do SPD da memória, enquanto o dmicode pega a informação do BIOS. Daí essa discrepância nos valores informados.
É o que eu também estou achando.
Parece que o barramento de memória do meu Note trabalha à 533, enquanto que as memórias são 667.
==> Como
veio de fábrica com um módulo de 512 MB 667 MHZ, troquei por duas da mesma velocidade (667), porém, com 1 GB cada.
Parece, então, que meus (dois) atuais módulos de 1 GB 667 estão trabalhando à 533...
Uma futura atualização da BIOS pode ajustar isso.
Grato pela atenção
galactus