Generalise the va to pa code and use it when starting secondary cores

Reviewed by:	ian@, rpaulo@
Differential Revision: https://reviews.freebsd.org/D736