Add SMP support to the ARM PLATFORM code. This will allow us to have
different methods to start the secondary cores in a kernel built for
multiple SoCs, e.g. with the Allwinner A20 and A31.

Sponsored by: ABT systems Ltd
Differential Revision: https://reviews.freebsd.org/D5466