[TF-TSC] Trusted Firmware TSC 13th June Minutes