K 10 svn:author V 3 zbb K 8 svn:date V 27 2017-04-18T10:35:30.271281Z K 7 svn:log V 206 Add PL310 device in ARMADA38X config Submitted by: Arnaud Ysmal Obtained from: Stormshield Sponsored by: Stormshield Differential revision: https://reviews.freebsd.org/D10222 END