Update acpuclock-krait.c