Correct text about shared page for HPET registers

The shared page maps HPET registers; HPET does not do the mapping.

Reported by: kib
Pointy-hat to: bjk