sim: increase frequency of INT_EXT in testbench