Fix bit rot in K&R style parameter declaration of ___setup_pstate