static, я могу ошибаться но помоему ты перепутал с acpi таймером, на него да, на страничках с матерями ложат архив. Но именно эта запись, говорит вот о типе ядра, вот картинка внизу
обычно всегда инсталится два ядра, что и подтверждает картинка. Собственно в каталоге system32 они и лежат, вот только в чем проблема обновления записей сейчас непонятно.