Updated FCS_TLSC_EXT.1.3