Stack-Speicher wieder leer bekommen

Nein!

Sicherlich: Weil es nicht möglich ist, zumindest nicht einfach und nicht ohne MMU

Hmmm, du hast den Namen der Funktion und den Kommentar nicht wörtlich übersetzt, aber stattdessen deine eigene Fantasie da eingesetzt.
Und jetzt bist du enttäuscht, weil Fantasie und Realität auseinander klaffen.

Soweit ich das erkennen kann, wird im Beispiel genau die maximale Stack Größe gesetzt.
Sogar ein Verfahren vorgestellt, wie man recht sicher die minimal notwendige Größe ermitteln kann

Der name des Beispiels ist also ok.

"Unused" und "frei" sind zwei völlig verschiedene Dinge.

unused == unbenutzt
free == verfügbar

Dieser Unterschied, der ist dein Stolperstein.