Probably not the easiest of all reading, but it might be what you are looking for
Ok, it seems I can't post a link because it's my first post
So, type "Kernel Documentation" in google and the first link will be for the Documentation page of kernel.org
As for the HPET, I think most modern computer have one but you can make sure by checking your bios I think. As an example, I just finished installing Gentoo on a little Atom 330 motherboard and I had an option in the bios giving me the possibility to enable/disable the HPET.
Sorry not to be able to be more precise but I hope it does help you a bit
J-L