fix acpuclock-8064.c