forked from Imagelibrary/rtems
Remove support for using the second timer for time stamping. Instead the user can configure the system clock timer to a higher base clock frequency (lower the prescaler). This change does not affect the GR712RC or LEON4-N2X. The GR712RC does not have two GPTIMERs and the N2X uses the Interrupt Controller for time stamping. Bow that the AMBA initialization code exports the AMBA device, the frequency can be obtained without an additional AMBA PnP scanning.