Changed FMT_CFG_EXT.1.3 to FMT_CFG_EXT.1.2 since 1.2 does not
currently exist.