Add filetable_dump() to file API
Implement filetable_dump() and add stdin, stdout, and stderr to origin thread's filetable in bootstrap
Copy origin thread's filetable in kernel shell fork