Update configure.sh, configure.bat, configure.c: With compressed format, part...

Update configure.sh, configure.bat, configure.c:  With compressed format, part of the installation requires that we run 'make olddefconfig' to restore the uncompressed defconfig format.  Also, while I was at it, I also added options to select host platform on configure command line.