Yes - they're routed through the GAL to make sure the other clocks get the right values. The 32MHZ osc on the board goes directly to the Shifter (well, through a resistor, but) so needs to be removed.
edit: 5 PCBs now ordered from Eurocircuits. Never used them before.
edit2: Maybe it's not obvious why I have both 64 and 32 since one can be gotten from the other. It's easy - on my own board these are 64.000 and 32.0084988 - since I want exact ST compatibility.