[TF-TSC] Trusted Firmware TSC 14th November - Minutes