[PATCH v3 04/16] kbuild: userprogs: add nolibc support