K 10 svn:author V 3 ian K 8 svn:date V 27 2014-05-06T13:38:34.869248Z K 7 svn:log V 109 Move the pl310.enabled tunable to hw.pl310.enabled. Clean up a few minor style(9) nits. Use DEVMETHOD_END. END