Merge branch 'nolibc.2022.10.28a' into HEAD

nolibc.2022.10.28a: nolibc updates.