Shouldn't that be the clock of the peripheral bus? This is not necessarily sysclock / 2.