Fix acpuclock-krait.c