revert 17821, wait for better test cases
revert 17821, wait for better test cases

ddcc/klee-uclibc-0.9.33.2,ChickenRunjyd/klee-uclibc,kraj/uClibc,m-labs/uclibc-lm32,hjl-tools/uClibc,kraj/uclibc-ng,foss-xtensa/uClibc,ffainelli/uClibc,brgl/uclibc-ng,OpenInkpot-archive/iplinux-uclibc,ndmsystems/uClibc,groundwater/uClibc,groundwater/uClibc,majek/uclibc-vx32,czankel/xtensa-uclibc,m-labs/uclibc-lm32,ChickenRunjyd/klee-uclibc,kraj/uclibc-ng,waweber/uclibc-clang,atgreen/uClibc-moxie,czankel/xtensa-uclibc,kraj/uclibc-ng,foss-for-synopsys-dwc-arc-processors/uClibc,ndmsystems/uClibc,hwoarang/uClibc,wbx-github/uclibc-ng,ffainelli/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,ddcc/klee-uclibc-0.9.33.2,majek/uclibc-vx32,kraj/uclibc-ng,kraj/uClibc,mephi42/uClibc,czankel/xtensa-uclibc,atgreen/uClibc-moxie,wbx-github/uclibc-ng,foss-for-synopsys-dwc-arc-processors/uClibc,ffainelli/uClibc,brgl/uclibc-ng,OpenInkpot-archive/iplinux-uclibc,wbx-github/uclibc-ng,klee/klee-uclibc,mephi42/uClibc,atgreen/uClibc-moxie,ddcc/klee-uclibc-0.9.33.2,groundwater/uClibc,majek/uclibc-vx32,majek/uclibc-vx32,hwoarang/uClibc,ndmsystems/uClibc,mephi42/uClibc,czankel/xtensa-uclibc,ysat0/uClibc,atgreen/uClibc-moxie,ChickenRunjyd/klee-uclibc,wbx-github/uclibc-ng,ysat0/uClibc,ddcc/klee-uclibc-0.9.33.2,brgl/uclibc-ng,foss-xtensa/uClibc,ffainelli/uClibc,hjl-tools/uClibc,ffainelli/uClibc,klee/klee-uclibc,hwoarang/uClibc,gittup/uClibc,kraj/uClibc,ChickenRunjyd/klee-uclibc,skristiansson/uClibc-or1k,brgl/uclibc-ng,OpenInkpot-archive/iplinux-uclibc,gittup/uClibc,kraj/uClibc,hjl-tools/uClibc,waweber/uclibc-clang,OpenInkpot-archive/iplinux-uclibc,waweber/uclibc-clang,groundwater/uClibc,m-labs/uclibc-lm32,gittup/uClibc,skristiansson/uClibc-or1k,foss-xtensa/uClibc,hwoarang/uClibc,ndmsystems/uClibc,klee/klee-uclibc,ysat0/uClibc,skristiansson/uClibc-or1k,gittup/uClibc,mephi42/uClibc,hjl-tools/uClibc,hjl-tools/uClibc,foss-xtensa/uClibc,klee/klee-uclibc,foss-for-synopsys-dwc-arc-processors/uClibc,ysat0/uClibc,m-labs/uclibc-lm32,waweber/uclibc-clang,skristiansson/uClibc-or1k,groundwater/uClibc