Make boot-stack default baremetal-arch configurable.

Change-Id: I36bd480c8c078e88da3f5c012ed6f5214997a34d