[garaetjjte]

Linux never had "must be publicly documented" as a general rule.

[dmitrygr]

That is fair. Reverse-engineered drivers are common. But depending on undocumented CPU core features seems a bit insane (as indeed the LKML post mentions)