I have reported to http://bugzilla.kernel.org, attaching a syslog obtained with hpet=verbose. Bug number: 14661.