[PATCH] ARM SMP: Add support for startup of secondary processors