Adapt acpuclock-7x30.c for 3.4 kernel