K 10 svn:author V 3 ian K 8 svn:date V 27 2013-10-31T01:45:55.005351Z K 7 svn:log V 202 Expand the list of compatible devices this driver works with. Increase the target frequency from 1 to 10 MHz because these SoCs are plenty fast enough to benefit from the extra event timer resolution. END