target/arm: Explain why we need to select ARM_V7M