[pero]

says debian 8.* and 7.* which i take to mean 8.1 and 7.1, expressly excluding 9

[abrowne]

The star is Intel's weird house style for trademarks. They add a star to any third-party trademark, and in the footer there's "* Trademarks", which links to https://www.intel.com/content/www/us/en/legal/trademarks.htm...