Does NetBSD use the hardware clock differently?