[TF-TSC] Trusted Firmware TSC 12th September - Minutes