I was told to > please submit to bugzilla.kernel.org, > so that upstream gets notified. OK, please see http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=328528 Next time I find a bug, I will submit directly. Back then I didn't have ADSL...
Grabbed as a trivial fix to update that section. Nowdays almost all systems use the ACPI interfaces
p4_clockmod is not a power saving driver and not recommended so will not be updating this.