Fix build of the hpet driver.
It's not in the image so it doesn't get built by default.