revert acpuclock-krait.c fix