Krol w reprezentacji Holandii grał również jako kapitan na Euro 80, jednak Holendrzy odpadli z turnieju wyeliminowani przez RFN i Czechosłowację. Nie zdołali się także zakwalifikować do mistrzostw świata w 1982. Krol zagrał jeszcze część eliminacji do Euro 84, kończąc potem występy w reprezentacji w 1983 przegranym 0-1 meczem z Hiszpanią.