Andrew Turner eb2035b562 Also implement platform_cpu_reset on bcm2836		2016-09-23 15:28:15 +00:00
..
bcm2835	Also implement platform_cpu_reset on bcm2836	2016-09-23 15:28:15 +00:00