Re: [GIT PULL] nolibc for 6.12-rc1