Re: [LAU] /dev/hpet, depends on kernel?