* commit 'b0ce601c':
  doc/platform: Add info about ICL

Conflicts:
	doc/platform.texi
Merged-by: Michael Niedermayer <michaelni@gmx.at>