[TF-M] Dual core boot design document review