arm: Get rid of pointless have_generic_timer param
Review Request #2764 - Created May 7, 2015 and submitted
Changeset 10841:5bbc826fb52e --------------------------- arm: Get rid of pointless have_generic_timer param The ArmSystem class has a parameter to indicate whether it is configured to use the generic timer extension or not. This parameter doesn't affect any feature flags in the current implementation and is therefore completely unnecessary. In fact, we usually don't set it even if a system has a generic timer. If we ever need to check if there is a generic timer present, we should just request a pointer and check if it is non-null instead.
ARM regressions pass. All backends build.