Always include CLK_32MHZ in UCF file