Readd missing if in acpuclock-8974.c