What is this HPET kernel stuff ? How do I understand if my T40 has it or not (2373-92G Pentium-M 1.6 GHz) TIA, Bob