nuttx: clean up module#5245

dybucc wants to merge 2 commits into

rust-lang:mainrust-lang/libc:mainfrom

dybucc:nuttx-cleanupdybucc/libc:nuttx-cleanupCopy head branch name to clipboard