K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-01-25T00:24:57.527327Z
K 7
svn:log
V 231
Update the Allwinner kernels:
 * Use the ARM PLATFORM framework
 * Use ARM_INTRNG on teh A20 as it has a GICv2
 * Add a method to find which Allwinner SoC we are running on

Differential Revision:	https://reviews.freebsd.org/D5059

END