[TF-M] Static check framework for TF-M