[TF-TSC] Trusted Firmware TSC 10th October - Minutes